• No results found

Parallelisms with Other Non-Classical Logics

Proof complexity of non-classical logics

Proof complexity of non-classical logics

... intuitionistic logics there are many other important non- classical ...such logics are non-monotonic logics which be- came an important new research field in logic after a ...

57

Proof Complexity of Non-classical Logics.

Proof Complexity of Non-classical Logics.

... of non-commercial research or private study within the limits of fair ...or other rights-holder may allow further reproduction and re-use of this version - refer to the White Rose Research Online record for ...

15

Proof search issues in some non-classical logics

Proof search issues in some non-classical logics

... We give a calculus which we will call ILLF. This has similar properties to Andreoli’s focusing calculus for classical linear logic (called 3 ). Firstly the problem of where to apply the structural rules is ...

228

Proof search issues in some non classical logics

Proof search issues in some non classical logics

... We said earlier that when using a history mechanism to prevent looping it would be good to cut down the amount of storage and checking to a bare minimum. This was done in the Swiss G3 ^^®* - the history mechanism ...

228

Game theoretical semantics for some non-classical logics

Game theoretical semantics for some non-classical logics

... Keywords Game Theoretical Semantics; Logic of Paradox; First-Degree Entailment; Rel- evant Logic; Connexive Logic; Belnap’s Four Valued Logic B4; Modal Logic S5. 1. Introduction Game theoretical semantics suggests a very ...

32

Proof Search Issues in Some Non-Classical Logics

Proof Search Issues in Some Non-Classical Logics

... + . The negative occurrences will be principal formulae of left rules and the positive occurrences will be principal formulae of right rules. It is observed that the rules for the asynchronous connectives are invertible ...

227

MoL 2013 10: 
  Algebraic Canonicity in Non Classical Logics

MoL 2013 10: Algebraic Canonicity in Non Classical Logics

... The non-critical occurrences of the proposition variable p will have the appropriate polarity to receive the minimal valuation, hence inductive and Sahlqvist inequalities make sure that the Ackermann rule can ...

82

MoL 2016 23: 
  Possibility Spaces, Q Completions and Rasiowa Sikorski Lemmas for Non Classical Logics

MoL 2016 23: Possibility Spaces, Q Completions and Rasiowa Sikorski Lemmas for Non Classical Logics

... if a proposition is forced at stage i, then I have proved it, and if it is not forced, then I haven’t proved it. In other words, we could say that standard Kripke semantics formalize the process of discovering new ...

124

Embedding and automating conditional logics in classical higher-order logic

Embedding and automating conditional logics in classical higher-order logic

... conditional logics into classical higher-order logic has been ...to other non-classical logics [6], conditional logics can be seen as natural fragments of classical ...

15

The influence of classical and non-classical friction on sliding

The influence of classical and non-classical friction on sliding

... of Classical and Non-Classical Friction on ...as non-classical, that are found when dealing with vinyl flooring tiles that are not well represented by the classical ...of ...

232

Classical V600E and other non hotspot BRAF mutations in adult differentiated thyroid cancer

Classical V600E and other non hotspot BRAF mutations in adult differentiated thyroid cancer

... in classical PTC. On the other hand, in case of FVPTC, the frequency ranges between ~0 and 35 % [7, 11, ...the other studies in the Middle East region [19, 20, ...

8

Probability and non-classical logic

Probability and non-classical logic

... the non-trivial result that the degrees of belief conditional on C have to meet the classical ...for other interesting regions of the open possibilities Z—for example, the probabilities conditional ...

24

The Quantitation of Non-classical Buffering »

The Quantitation of Non-classical Buffering »

... In other words, since the “transfer” of the eye defect phenotype is greater in the mutant line, the wild-type Hsp90 protein must possess the abstract capacity of diverting or “soaking up” this disturbance (into an ...

30

Intuitionistic non-normal modal logics: A general framework

Intuitionistic non-normal modal logics: A general framework

... and non-normal modal logic have been studied for a long ...modal logics versus Constructive modal ...modal logics have been systematised by Simpson [23], whose main goal is to define an analogous of ...

41

Non-classical Minds and Indeterminate survival

Non-classical Minds and Indeterminate survival

... Riches No riches Reject Long life, Party, Short life, Party, No riches No riches S 1 and S 2 are names for the persons Scotty 1 and Scotty 2 respectively. S, on the other hand, is the name that pre-accident Scotty ...

36

Non Classical Lexical Semantic Relations

Non Classical Lexical Semantic Relations

... since non–text-specific infor- mation can be added to existing resources, but text- specific knowledge will require further complex inter- action with the rest of the ...and other theories that provide ...

6

Dynamics of Non Classical Interval Exchanges

Dynamics of Non Classical Interval Exchanges

... the other the set of incoming edges. In addition, one assigns non-negative weights to the branches so that the sum of the weights of the outgoing branches at a switch is equal to the sum of the weights of ...

91

On the relationship of the shear deformable Generalized Beam Theory with classical and non-classical theories

On the relationship of the shear deformable Generalized Beam Theory with classical and non-classical theories

... the classical beam theories is a crucial issue for a correct theoretical positioning of the GBT within the other existing beam theories as well as for the application of the GBT in the current engineer- ing ...

12

The thermodynamics of calcite nucleation at organic interfaces: Classical vs. non-classical pathways

The thermodynamics of calcite nucleation at organic interfaces: Classical vs. non-classical pathways

... of non-equilibrium amorphous precursors in numerous biomineral 1,9,10 and biomimetic systems, 4,11,12 raises the question of whether the classical description 5 of nucleation dynamics is applicable to ...

38

Non-Uniform Data Complexity of Query Answering in Description Logics

Non-Uniform Data Complexity of Query Answering in Description Logics

... from other results in [16, ...the non-tree-shape of ABoxes is essential; and (ii) by Theorem 5 together with the known fact the non-uniform CSPs are tractable when restricted to tree-shaped input ...

42

Show all 10000 documents...

Related subjects