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

Cites Work

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020161)