The following pages link to (Q3093482):
Displaying 50 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Paraconsistent logic (Q266659) (← links)
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Metalogical decorations of logical diagrams (Q346763) (← links)
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- General-elimination stability (Q526738) (← links)
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity (Q830362) (← links)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Connectives stranger than tonk (Q853814) (← links)
- A concept approach to input/output logic (Q898776) (← links)
- The Bellaterra connection (Q1325633) (← links)
- Compositionality solves Carnap's problem (Q1706739) (← links)
- Negative doxastic voluntarism and the concept of belief (Q1708860) (← links)
- Diversification of object-languages for propositional logics (Q1711508) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Blurring: an approach to conflation (Q1750295) (← links)
- Subatomic negation (Q2035849) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Subminimal negation on the Australian plan (Q2079709) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- What is a relevant connective? (Q2155944) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Associative, idempotent, symmetric, and order-preserving operations on chains (Q2183096) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Wave-particle duality and the objectiveness of ``true'' and ``false'' (Q2241464) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- From natural to formal language: a case for logical pluralism (Q2288262) (← links)
- Explicating logical independence (Q2301324) (← links)
- When is a schema not a schema? On a remark by Suszko (Q2307299) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- A modal logic of supervenience (Q2319894) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
