The connectives
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A dialogical route to logical pluralism
- Hegel’s Interpretation of the Liar Paradox
- Is `no' a force-indicator? Yes, sooner or later!
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Supervenience, dependence, disjunction
- Metasequents and tetravaluations
- Classically archetypal rules
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- Associative, idempotent, symmetric, and order-preserving operations on chains
- Relevance-Sensitive Truth-Trees
- Univocity of intuitionistic and classical connectives
- Bilattice logics and demi-negation
- What is a logical theory? On theories containing assertions and denials
- Fine on the possibility of vagueness
- Permissive updates
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Are the open-ended rules for negation categorical?
- Subminimal negation on the Australian plan
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- Revisiting Semilattice Semantics
- Defining LFIs and LFUs in extensions of infectious logics
- Inverse images of box formulas in modal logic
- What is a relevant connective?
- Formalizing Kant's rules. A logic of conditional imperatives and permissives
- Semi-implication: a chapter in universal logic
- Kapsner complementation: an algebraic take on Kapsner strong logics
- Immune Logics ain't that Immune
- When is a schema not a schema? On a remark by Suszko
- Infectious and transparent emotivism
- On harmony and permuting conversions
- Combining fragments of classical logic: when are interaction principles needed?
- General-elimination stability
- Compositionality solves Carnap's problem
- Negative doxastic voluntarism and the concept of belief
- When rules define logical operators: rules as second-order definitions
- First-degree entailment and structural reasoning
- The original sin of proof-theoretic semantics
- Implicit definitions, second-order quantifiers, and the robustness of the logical operators
- Blurring: an approach to conflation
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Modal logic without contraction in a metatheory without contraction
- Identity in Mares-Goldblatt models for quantified relevant logic
- -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- An unexpected Boolean connective
- Quantified modal relevant logics. II: Welcome to the neighbourhood
- Variable-sharing as relevance
- A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
- Introduction: directions and new directions
- Logic, counterexamples, and translation
- A modal logic of supervenience
- Supercover semantics for deontic action logic
- Pure variable inclusion logics
- Priest on negation
- Two negations are more than one
- (Global) quantification \& (local) definability -- some comments on del Valle-Inclán's criticism of Bonnay and Westerståhl's solution to \textit{Carnap's problem}
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Structuring co-constructive logic for proofs and refutations
- Paraconsistent logic
- 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
- Logical consequence and the paradoxes
- Logics of order and related notions
- Wave-particle duality and the objectiveness of ``true and ``false
- Hyperintensionality in relevant logics
- On Hitchin’s connection
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Another combination of classical and intuitionistic conditionals
- On logics of perfect paradefinite algebras
- Negative modalities, consistency and determinedness
- Prior's OIC nonconservativity example revisited
- On Dummett's verificationist justification procedure
- Diversification of object-languages for propositional logics
- Consistent theories in inconsistent logics
- A semantic hierarchy for intuitionistic logic
- Idempotent variations on the theme of exclusive disjunction
- Conjunctive paraconsistency
- 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
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
- Symmetry and completeness in relevant epistemic logic
- Connectives stranger than tonk
- Weak disharmony: some lessons for proof-theoretic semantics
- A substructural approach to explicit modal logic
- Inferential constants
- Incorporating the relation into the language? A survey of approaches in relating logic
- A paraconsistent and substructural conditional logic
- Algebraic semantics for propositional superposition logic
- ``Transitivity of consequence relations
- Explicating logical independence
- Bi-intuitionistic implication structures
- Some Comments and Replies
- Adding an implication to logics of perfect paradefinite algebras
- What is the correct logic of necessity, actuality and apriority?
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- Proof theory for positive logic with weak negation
- What is a paraconsistent logic?
This page was built for publication: The connectives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3093482)
