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

, , 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, 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, Fuzzy Knights and Knaves, An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic, Inconsistency in Ceteris Paribus Imagination, 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, CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH, De Morgan clones and four-valued logics, Logical predictivism, Unwinding modal paradoxes on digraphs, Murphree's numerical term logic tableaux, Erotetic search scenarios and three-valued logic, The content of deduction, Proof-theory and semantics for a theory of definite descriptions, Tableaux for some modal-tense logics Graham Priest's fashion, Realism, Antirealism, and Paraconsistency, Necessary Truth and Proof, A regress objection to Thagard's theory of deductive coherence, A generalization of ordered-pair semantics, Shrieking, shrugging, and the Australian plan, Paraconsistent metatheory: new proofs with old tools, What is a relevant connective?, A logical reasoning based decision making method for handling qualitative knowledge, Williamson on counterpossibles, LOGICAL GROUNDS, Names and their kind of rigidity, 40 years of FDE: an introductory overview, Disentangling \textsf{FDE}-based paraconsistent modal logics, First-degree entailment and its relatives, Editorial introduction: substructural logics and metainferences, One step is enough, Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Paraconsistent vagueness: a positive argument, Proof theory of paraconsistent weak Kleene logic, Logics of synonymy, Towards the logic of projective identification, Neighbourhood semantics for modal relevant logics, Probability and symmetric logic, Notes on the model theory of DeMorgan logics, A Compositional Semantics for ‘If Then’ Conditionals, First-order da Costa logic, Tolerant, classical, strict, On structural contraction and why it fails, Temporal alethic-deontic logic and semantic tableaux, Metaphysical and absolute possibility, Metaphysical necessity: a skeptical perspective, Knowing how things might have been, Non-Boolean classical relevant logics. I, Impossible worlds and the logic of imagination, Two-sided sequent calculi for \textit{FDE}-like four-valued logics, Neutral free logic: motivation, proof theory and models, Notes on models of (partial) Kripke-Feferman truth, Fusion and confusion, Reasoning about actions with loops via Hoare logic, On the ternary relation and conditionality, \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics, Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox, A default-free solution to the imperfective paradox, Free choice reasons, Quantified temporal alethic-deontic logic, Dynamic Epistemic Logic and Logical Omniscience, Tree-like proof systems for finitely-many valued non-deterministic consequence relations, A four-valued dynamic epistemic logic, Generalizing functional completeness in Belnap-Dunn logic, A linguistic multi-criteria decision making approach based on logical reasoning, Islamic contradictory theology \dots\ is there any such thing?, Prioritised ceteris paribus logic for counterfactual reasoning, On modal Meinongianism, Paraconsistent dynamics, Aristotle's assertoric syllogistic and modern relevance logic, Disquotation and infinite conjunctions, An axiomatic system and a tableau calculus for STIT imagination logic, There is more to negation than modality, Some new thoughts on conditionals, Non-classical elegance for sequent calculus enthusiasts, Monotonic and non-monotonic embeddings of Anselm's proof, Pure modal logic of names and tableau systems, Real analysis in paraconsistent logic, Tolerance and mixed consequence in the S'valuationist setting, Extensionality and restriction in naive set theory, Speech acts, categoricity, and the meanings of logical connectives, A conditional logic for abduction, Non-distributive relatives of ETL and NFL, Rights Revisited, and Limited, Valuations: bi, tri, and tetra, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, On negation for non-classical set theories, Notational variance and its variants, Actuality, tableaux, and two-dimensional modal logics, ON THE LOGIC OF FACTUAL EQUIVALENCE, Hilbert-style axiomatization of first-degree entailment and a family of its extensions, Negation on the Australian plan, Noncontractive classical logic, Completeness and correspondence in Chellas-Segerberg semantics, Observations on the trivial world, A tableaux calculus for default intuitionistic logic, Identity in Mares-Goldblatt models for quantified relevant logic, An incompleteness theorem for modal relevant logics, Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy, A note on FDE ``all the way up, Logics of order and related notions, Non-deterministic conditionals and transparent truth