The following pages link to Arnon Avron (Q229729):
Displayed 50 items.
- Ancestral Logic: A Proof Theoretical Study (Q2938136) (← links)
- A unified semantic framework for fully structural propositional sequent systems (Q2946716) (← links)
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (Q2986784) (← links)
- (Q3007244) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Non-deterministic Multiple-valued Structures (Q3025337) (← links)
- On Constructive Connectives and Systems (Q3081447) (← links)
- (Q3081637) (← links)
- (Q3086692) (← links)
- A Simple Proof of Completeness and Cut-admissibility for Propositional Godel Logic (Q3097870) (← links)
- (Q3112289) (← links)
- Multiplicative Conjunction as an Extensional Conjunction (Q3126403) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- (Q3367317) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Paraconsistency, self-extensionality, modality (Q3386899) (← links)
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (Q3392939) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics (Q3503624) (← links)
- (Q3520843) (← links)
- Canonical calculi with (n,k)-ary quantifiers (Q3535607) (← links)
- Strict Canonical Constructive Systems (Q3585998) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers (Q3613413) (← links)
- Canonical Constructive Systems (Q3648721) (← links)
- Relevant entailment—semantics and formal systems (Q3712316) (← links)
- On modal systems having arithmetical interpretations (Q3714054) (← links)
- A constructive analysis of <b>RM</b> (Q3781069) (← links)
- (Q3837723) (← links)
- Natural 3-valued logics—characterization and proof theory (Q3981456) (← links)
- Axiomatic System, Deduction and Implication (Q4007158) (← links)
- Two types of multiple-conclusion systems (Q4221770) (← links)
- Multiplicative conjunction and an algebraic meaning of contraction and weakening (Q4227869) (← links)
- (Q4262996) (← links)
- Some Properties of Linear Logic Proved by Semantic Methods (Q4323009) (← links)
- (Q4329280) (← links)
- Formulas for which contraction is admissible (Q4380445) (← links)
- (Q4450442) (← links)
- Implicational <i>F</i>-structures and implicational relevance logics (Q4508262) (← links)
- (Q4539639) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Cayley′s Formula: A Page From The Book (Q4576536) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- (Q4636024) (← links)
- Self-extensional three-valued paraconsistent logics have no implication (Q4644476) (← links)
- (Q4686539) (← links)
- (Q4698608) (← links)
- The structure of interlaced bilattices (Q4715676) (← links)