scientific article

Publication date: 8 August 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

nonclassical propositional logics nonclassical first-order logics

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) History of mathematical logic and foundations (03-03) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (only showing first 100 items - show all)

, , AND REINHARDT’S PROGRAM ⋮ Vagueness as an epiphenomenon, and non-transitivity ⋮ Game Theoretical Semantics for Paraconsistent Logics ⋮ Translating a Counterpart Theory into a Quantified Modal Language with Descriptors ⋮ A Tale of Excluding the Middle ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ Metatheory and dialetheism ⋮ Infectious and transparent emotivism ⋮ HOW A SEMANTICS FOR TONK SHOULD BE ⋮ The defective conditional in mathematics ⋮ Game theoretical semantics for some non-classical logics ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ Phase function methods for second order linear ordinary differential equations with turning points ⋮ Of gaps, gluts, and God's ability to change the past ⋮ Tableau Systems for Epistemic Positional Logics ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) ⋮ Single-domain free logic and the problem of compositionality ⋮ Against logical generalism ⋮ (I can't get no) antisatisfaction ⋮ No universalism without gunk? No position as identity and the universality of identity ⋮ God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology ⋮ Reflections on Orlov ⋮ Varieties of Relevant S5 ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Angell and McCall meet Wansing ⋮ Executability and connexivity in an interpretation of Griss ⋮ Logical abductivism and non-deductive inference ⋮ Conjunctive paraconsistency ⋮ A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ A substructural approach to explicit modal logic ⋮ Weak Kleene and other weak logics of conditionals ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ A Kripke Semantics for Hajek's BL ⋮ SUBSTITUTION IN RELEVANT LOGICS ⋮ On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Jaina Logic: A Contemporary Perspective ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ Consistency, Completeness, and Classicality ⋮ Natural Deduction Systems for Logics in the FDE Family ⋮ Paraconsistent or Paracomplete? ⋮ Priest’s Anti-Exceptionalism, Candrakīrti and Paraconsistency ⋮ Dialetheic Conditional Modal Logic ⋮ Two Negations Are More than One ⋮ GP’s LP ⋮ Expanding the Logic of Paradox with a Difference-Making Relevant Implication ⋮ On Non-transitive “Identity” ⋮ Some Comments and Replies ⋮ On three-valued presentations of classical logic ⋮ Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic ⋮ Doxastic logic: a new approach ⋮ MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH ⋮ BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮ Semantical analysis of weak Kleene logics ⋮ A Compositional Semantics for ‘Even If’ Conditionals ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics ⋮ Syllogistic relevance and term logic ⋮ Fuzzy Knights and Knaves ⋮ A cartography of LFIs and truth ⋮ On Ivlev's semantics for modality ⋮ Rethinking logical disagreements: a critique of verbalism and a normative constraints approach ⋮ Categoricity problem for LP and K3 ⋮ Truth diagrams for some non-classical and modal logics ⋮ Deep fried logic ⋮ Confused entailment ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ Inconsistency in Ceteris Paribus Imagination ⋮ A basic system of paraconsistent Nelsonian logic of conditionals. ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Towards a bridge over two approaches in connexive logic ⋮ Connexive Conditional Logic. Part I ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS ⋮ None of the Above: The Catuṣkoṭi in Indian Buddhist Logic ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach ⋮ INFINITARY TABLEAU FOR SEMANTIC TRUTH ⋮ Why Some Non-classical Logics Are More Studied? ⋮ LTL-Specification of Bounded Counter Machines ⋮ The Strict/Tolerant Idea and Bilattices ⋮ Connexive Variants of Modal Logics Over FDE ⋮ LTL-Specification of Counter Machines ⋮ A Critical Examination of the Historical Origins of Connexive Logic ⋮ Relevance-Sensitive Truth-Trees ⋮ Paraconsistent logic ⋮ Did Descartes make a diagonal argument? ⋮ Quantified temporal alethic boulesic doxastic logic

This page was built for publication: