Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)

DOI10.1007/978-3-030-71258-7_1OpenAlexW3192201350MaRDI QIDQ5020161

Ofer Arieli, Anna Zamansky

Publication date: 4 January 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_1

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
• What is relevance logic?
• Efficient reasoning with inconsistent information using C-systems
• Ideal paraconsistent logics
• Using typed lambda calculus to implement formal systems on a machine
• On strict strong constructibility with a compass alone
• The age of alternative logics. Assessing philosophy of logic and mathematics today
• The semantics and proof theory of linear logic
• The value of the four values
• Hypersequents, logical consequence and intermediate logics for concurrency
• What is negation?
• Fixpoint semantics for logic programming a survey
• Handbook of philosophical logic. Vol. 6
• Reasoning with logical bilattices
• The classical constraint on relevance
• Paraconsistent logic: consistency, contradiction and negation
• Constructibility and decidability versus domain independence and absoluteness
• Proof theory for fuzzy logics
• On the theory of inconsistent formal systems
• Non-deterministic Multiple-valued Structures
• Multiplicative Conjunction as an Extensional Conjunction
• $$\mathbf {RM}$$ RM and its Nice Properties
• Relevance and paraconsistency—a new approach
• Relevant entailment—semantics and formal systems
• On modal systems having arithmetical interpretations
• A constructive analysis of RM
• The pure calculus of entailment
• Bilattices and the semantics of logic programming
• The family of stable models
• Cayley′s Formula: A Page From The Book
• The structure of interlaced bilattices
• Logics of Formal Inconsistency
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Semi-implication: A Chapter in Universal Logic
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)