The following pages link to Arnon Avron (Q229729):
Displaying 39 items.
- A note on the structure of bilattices (Q4862766) (← links)
- Non-deterministic Connectives in Propositional Godel Logic (Q4902375) (← links)
- A semantic proof of strong cut-admissibility for first-order Godel logic (Q4914412) (← links)
- (Q4918414) (← links)
- (Q4936119) (← links)
- On the expressive power of three-valued and four-valued languages (Q4943507) (← links)
- General patterns for nonmonotonic reasoning: from basic entailments to plausible relations (Q4952020) (← links)
- Comments on the Papers (Q5020174) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- Implication, Equivalence, and Negation (Q5059689) (← links)
- (Q5079729) (← links)
- Proof Systems for 3-valued Logics Based on Gödel’s Implication (Q5092560) (← links)
- (Q5099994) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187856) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)
- (Q5224558) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Semi-implication: A Chapter in Universal Logic (Q5258962) (← links)
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics (Q5300580) (← links)
- (Q5311061) (← links)
- Mathematical Knowledge Management (Q5313076) (← links)
- Minimal paradefinite logics for reasoning with incompleteness and inconsistency (Q5369472) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (Q5425994) (← links)
- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers (Q5434496) (← links)
- (Q5446288) (← links)
- Boris A. Trakhtenbrot: Academic Genealogy and Publications (Q5452173) (← links)
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms (Q5452175) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473745) (← links)
- Multi-valued Calculi for Logics Based on Non-determinism (Q5703736) (← links)
- (Q5855500) (← links)
- (Q5858673) (← links)
- (Q5869604) (← links)
- Logical Approaches to Computational Barriers (Q5898798) (← links)
- Decomposition proof systems for Gödel-Dummett logics (Q5955614) (← links)
- Quasi-canonical systems and their semantics (Q6088602) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
- Breaking the tie: Benacerraf's identification argument revisited (Q6551738) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
