Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
From MaRDI portal
(Redirected from Publication:5020161)
Cites work
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3139759 (Why is no real title available?)
- scientific article; zbMATH DE number 5510996 (Why is no real title available?)
- scientific article; zbMATH DE number 4041878 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1735917 (Why is no real title available?)
- scientific article; zbMATH DE number 6863636 (Why is no real title available?)
- scientific article; zbMATH DE number 1852919 (Why is no real title available?)
- scientific article; zbMATH DE number 2205635 (Why is no real title available?)
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
- A constructive analysis of RM
- A new approach to predicative set theory
- A simple cut-free system for a paraconsistent logic equivalent to S5
- An introduction to non-classical logic
- Bilattices and the semantics of logic programming
- CHR: a constructive relevant natural-deduction logic
- Cayley′s Formula: A Page From The Book
- Constructibility and decidability versus domain independence and absoluteness
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Efficient reasoning with inconsistent information using C-systems
- Fixpoint semantics for logic programming a survey
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
- Handbook of paraconsistency
- Handbook of philosophical logic. Vol. 6
- Hypersequents, logical consequence and intermediate logics for concurrency
- Ideal paraconsistent logics
- Logics of formal inconsistency
- Multiplicative Conjunction as an Extensional Conjunction
- New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
- Non-deterministic Multiple-valued Structures
- On modal systems having arithmetical interpretations
- On strict strong constructibility with a compass alone
- On the theory of inconsistent formal systems
- Paraconsistent logic: consistency, contradiction and negation
- Proof theory for fuzzy logics
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Reasoning with logical bilattices
- Relevance and paraconsistency—a new approach
- Relevant entailment—semantics and formal systems
- Semi-implication: a chapter in universal logic
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- The age of alternative logics. Assessing philosophy of logic and mathematics today
- The classical constraint on relevance
- The family of stable models
- The pure calculus of entailment
- The semantics and proof theory of linear logic
- The structure of interlaced bilattices
- The value of the four values
- Theory of effective propositional paraconsistent logics
- Using typed lambda calculus to implement formal systems on a machine
- What is negation?
- What is relevance logic?
- \(\mathbf{RM}\) and its nice properties
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)
