The connectives
From MaRDI portal
Publication:3093482
Recommendations
Cited in
(only showing first 100 items - show all)- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Relevance Logic as a Conservative Extension of Classical Logic
- Explicating logical independence
- Supervenience, dependence, disjunction
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- A substructural approach to explicit modal logic
- Modal logic without contraction in a metatheory without contraction
- Semantic pollution and syntactic purity
- Revisiting Semilattice Semantics
- Negative modalities, consistency and determinedness
- What is the correct logic of necessity, actuality and apriority?
- Logics of order and related notions
- 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
- Idempotent variations on the theme of exclusive disjunction
- Diversification of object-languages for propositional logics
- On Dummett's verificationist justification procedure
- The Bellaterra connection
- Subatomic negation
- A modal logic of supervenience
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
- Hopeful monsters: a note on multiple conclusions
- Logical consequence and the paradoxes
- What is a relevant connective?
- An unexpected Boolean connective
- Metainferential duality
- Wave-particle duality and the objectiveness of ``true and ``false
- Defining LFIs and LFUs in extensions of infectious logics
- Combining fragments of classical logic: when are interaction principles needed?
- Subminimal negation on the Australian plan
- Stoic Sequent Logic and Proof Theory
- Harmony in multiple-conclusion natural-deduction
- Metalogical decorations of logical diagrams
- Prior's OIC nonconservativity example revisited
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Inverse images of box formulas in modal logic
- What is a logical theory? On theories containing assertions and denials
- Blurring: an approach to conflation
- Bi-intuitionistic implication structures
- Connectives stranger than tonk
- A concept approach to input/output logic
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Relevance-Sensitive Truth-Trees
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Proof theory for positive logic with weak negation
- Aggregation and idempotence
- ``Transitivity of consequence relations
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Compositionality solves Carnap's problem
- Negative doxastic voluntarism and the concept of belief
- Consistent theories in inconsistent logics
- Logic, counterexamples, and translation
- Weak disharmony: some lessons for proof-theoretic semantics
- First-degree entailment and structural reasoning
- On harmony and permuting conversions
- Aristotelian and Duality Relations Beyond the Square of Opposition
- Identity in Mares-Goldblatt models for quantified relevant logic
- Derivability and metainferential validity
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- What is a paraconsistent logic?
- General-elimination stability
- Structuring co-constructive logic for proofs and refutations
- Paraconsistent logic
- A semantic hierarchy for intuitionistic logic
- Pure variable inclusion logics
- On Hitchin’s connection
- Bilattice logics and demi-negation
- 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
- Some Comments and Replies
- On the algebraizability of the implicational fragment of abelian logic
- Neighbourhood semantics for quantified relevant logics
- Implicit definitions, second-order quantifiers, and the robustness of the logical operators
- Immune Logics ain't that Immune
- A dialogical route to logical pluralism
- Is there a neutral metalanguage?
- Is `no' a force-indicator? Yes, sooner or later!
- Formalizing Kant's rules. A logic of conditional imperatives and permissives
- Logical multilateralism
- Supercover semantics for deontic action logic
- A paraconsistent and substructural conditional logic
- One variable relevant logics are S5Ish
- First degree entailment, symmetry and paradox
- Hegel’s Interpretation of the Liar Paradox
- Inferential constants
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Priest on negation
- Two negations are more than one
- Classically archetypal rules
- Metasequents and tetravaluations
- Incorporating the relation into the language? A survey of approaches in relating logic
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- Another combination of classical and intuitionistic conditionals
- On logics of perfect paradefinite algebras
- Relevant consequence relations: an invitation
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)
