Searching for authors named "Arnon Avron" – sorted by Relevance.
53 documents found, showing 1 through 10.
Next 10 →
-
Combining Paraconsistency and Relevance
- …this paper we describe the semantics, language and consequence relation of the logic to which the above ideas lead, and show its strong connections with relevance logic, paraconsistent logic and classical logic. The main new result there is that the connectives which are de nable in the language of…
- Add To MetaCart
-
Negation: Two Points Of View
- …NEGATION: TWO POINTS OF VIEW Arnon Avron Department of Computer Science Sackler Faculty of Exact…
- Cited by 2 (0 self) – Add To MetaCart
-
On Negation, Completeness and Consistency
- …On Negation, Completeness and Consistency Arnon Avron Department of Computer Science Sackler…
- Cited by 4 (0 self) – Add To MetaCart
-
On The Expressive Power of Three-Valued and Four-Valued Languages
- …On The Expressive Power of Three-Valued and Four-Valued Languages Arnon Avron School…
- Cited by 4 (2 self) – Add To MetaCart
-
Multiplicative Conjunction as an Extensional Conjunction
- …Multiplicative Conjunction as an Extensional Conjunction Arnon Avron School of Mathematical…
- Cited by 4 (4 self) – Add To MetaCart
-
Two Types of Multiple-Conclusion Systems
- …Two Types of Multiple-Conclusion Systems ARNON AVRON, School of Mathematical Sciences, Sackler…
- Cited by 3 (0 self) – Add To MetaCart
-
Safety Signatures for First-order Languages and Their Applications
- …Safety Signatures for First-order Languages and Their Applications 1 Introduction Arnon Avron aa…
- Cited by 3 (3 self) – Add To MetaCart
-
A Tableaux System for Gödel-Dummett Logic Based on a Hypersequential Calculus
- …A Tableaux System for Godel-Dummett Logic Based on a Hypersequential Calculus Arnon Avron Computer…
- Cited by 9 (0 self) – Add To MetaCart
-
The Structure of Interlaced Bilattices
- …The Structure of Interlaced Bilattices Arnon Avron Department of Computer Science Sackler Faculty…
- Cited by 14 (5 self) – Add To MetaCart
-
Natural 3-valued Logics - Characterization and Proof Theory
- …Natural 3-valued Logics---Characterization and Proof Theory Arnon Avron 1 Introduction Many…
- Cited by 30 (11 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
