scientific article

Publication date: 17 October 2011

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

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ A step towards absolute versions of metamathematical results ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Inferential constants ⋮ A substructural approach to explicit modal logic ⋮ Consistent theories in inconsistent logics ⋮ Weak Kleene and other weak logics of conditionals ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Paraconsistent logic ⋮ Negative modalities, consistency and determinedness ⋮ Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Routley star and hyperintensionality ⋮ Neighbourhood semantics for quantified relevant logics ⋮ ‘Transitivity’ of Consequence Relations ⋮ SEMANTIC POLLUTION AND SYNTACTIC PURITY ⋮ Pure Variable Inclusion Logics ⋮ Incorporating the Relation into the Language? ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ What is a relevant connective? ⋮ Metalogical decorations of logical diagrams ⋮ Infectious and transparent emotivism ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ An unexpected Boolean connective ⋮ CLASSICALLY ARCHETYPAL RULES ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ Inverse images of box formulas in modal logic ⋮ Prior’s OIC nonconservativity example revisited ⋮ Associative, idempotent, symmetric, and order-preserving operations on chains ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ What is a logical theory? On theories containing assertions and denials ⋮ Is there a neutral metalanguage? ⋮ Metasequents and tetravaluations ⋮ Derivability and metainferential validity ⋮ A dialogical route to logical pluralism ⋮ Immune Logics ain't that Immune ⋮ Proof theory for positive logic with weak negation ⋮ Formalizing Kant's rules. A logic of conditional imperatives and permissives ⋮ A concept approach to input/output logic ⋮ Logical multilateralism ⋮ Conjunctive paraconsistency ⋮ The original sin of proof-theoretic semantics ⋮ Are the open-ended rules for negation categorical? ⋮ Compositionality solves Carnap's problem ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Negative doxastic voluntarism and the concept of belief ⋮ Diversification of object-languages for propositional logics ⋮ Bi-intuitionistic implication structures ⋮ Logical consequence and the paradoxes ⋮ Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators ⋮ What is a Paraconsistent Logic? ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Bilattice Logics and Demi-Negation ⋮ First-Degree Entailment and Structural Reasoning ⋮ Priest on Negation ⋮ Two Negations Are More than One ⋮ Some Comments and Replies ⋮ A semantic hierarchy for intuitionistic logic ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Blurring: an approach to conflation ⋮ On Dummett's verificationist justification procedure ⋮ On harmony and permuting conversions ⋮ A Paraconsistent and Substructural Conditional Logic ⋮ AGGREGATION AND IDEMPOTENCE ⋮ General-elimination stability ⋮ Harmony in multiple-conclusion natural-deduction ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ On the algebraizability of the implicational fragment of abelian logic ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ First Degree Entailment, Symmetry and Paradox ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Subatomic negation ⋮ From natural to formal language: a case for logical pluralism ⋮ Stoic Sequent Logic and Proof Theory ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Logic, Counterexamples, and Translation ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Supervenience, Dependence, Disjunction ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Explicating logical independence ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ When is a schema not a schema? On a remark by Suszko ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ A modal logic of supervenience ⋮ Supercover semantics for deontic action logic ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Metainferential duality ⋮ Algebraic semantics for propositional superposition logic ⋮ Subminimal negation on the Australian plan ⋮ Relevance Logic as a Conservative Extension of Classical Logic ⋮ Semi-implication: A Chapter in Universal Logic ⋮ Logics of order and related notions ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ Relevance-Sensitive Truth-Trees ⋮ Revisiting Semilattice Semantics ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Idempotent variations on the theme of exclusive disjunction ⋮ Aristotelian and Duality Relations Beyond the Square of Opposition ⋮ Structuring co-constructive logic for proofs and refutations