What is a relevant connective?
From MaRDI portal
Publication:2155944
Recommendations
Cites work
- scientific article; zbMATH DE number 3891328 (Why is no real title available?)
- scientific article; zbMATH DE number 5081447 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 4012563 (Why is no real title available?)
- scientific article; zbMATH DE number 3784842 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3508455 (Why is no real title available?)
- scientific article; zbMATH DE number 3637825 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- scientific article; zbMATH DE number 3997784 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 866639 (Why is no real title available?)
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- scientific article; zbMATH DE number 7585728 (Why is no real title available?)
- A Note on the Relevance of Semilattice Relevance Logic
- A class of simpler logical matrices for the variable-sharing property
- A general characterization of the variable-sharing property by means of logical matrices
- A metacompleteness theorem for contraction-free relevant logics
- A modal restriction of R-mingle with the variable-sharing property
- A semantic hierarchy for intuitionistic logic
- Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
- An admissible semantics for propositionally quantified relevant logics
- An algebraic approach to intuitionistic connectives
- An incompleteness theorem for modal relevant logics
- An introduction to non-classical logic. From if to is
- Anything goes
- Blocking the routes to triviality with depth relevance
- Boolean negation and all that
- Classical relevant logics. I
- Classical relevant logics. II
- Connectives stranger than tonk
- Conservatively extending classical logic with transparent truth
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Depth relevance of some paraconsistent logics
- Distribution in the logic of meaning containment and in quantum mechanics
- Farewell to suppression-freedom
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Handbook of philosophical logic. Vol. 6
- How to be really contraction free
- Intuitionistic hybrid logic
- Intuitionistic tense and modal logic
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- Metavaluations
- Models for entailment
- Models for normal intuitionistic modal logics
- Models for relevant modal logics
- Models for stronger normal intuitionistic modal logics
- Natural deduction and Curry's paradox
- Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
- Negation on the Australian plan
- Nonstandard connectives of intuitionistic propositional logic
- On an intuitionistic modal logic
- On permutation in simplified semantics
- On some new intuitionistic propositional connectives. I
- On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
- Operational semantics for positive R
- Philosophy of logic
- Relevant identity
- Relevant predication. I: The formal theory
- Routes to triviality
- Routley-Meyer ternary relational semantics for intuitionistic-type negations
- Saving truth from paradox
- Semantical investigations in Heyting's intuitionistic logic
- Semantics for quantified relevance logic
- Semantics for relevance logic with identity
- Semantics for relevant logics
- Simplified Kripke style semantics for modal logics K45, KB4 and KD45
- Simplified Kripke-style semantics for some normal modal logics
- Simplified semantics for basic relevant logics
- Simplified semantics for relevant logics (and some of their rivals)
- Strong depth relevance
- Supervenience, dependence, disjunction
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- The connectives
- The logic of paradox
- The pleasures of anticipation: Enriching intuitionistic logic
- The relevant fragment of first order logic
- Ticket entailment plus the mingle axiom has the variable-sharing property
- Tolerant, classical, strict
- Universal logic
- Varieties of logic
- What is a Classical Connective?
- What is relevance logic?
- R and relevance principle revisited
Cited in
(10)- Hyperintensionality in relevant logics
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- Neighbourhood semantics for modal relevant logics
- Varieties of Relevant S5
- Negation-cohesive connectives: a generalization of connexivity
- Natural deduction and sequent calculus for intuitionistic relevant logic
- On purely relevant logics
- Proofs with star and perp
- Entailment generalized
- Variable-sharing as relevance
This page was built for publication: What is a relevant connective?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2155944)