Pages that link to "Item:Q1346215"
From MaRDI portal
The following pages link to Four-valued semantics for relevant logics (and some of their rivals) (Q1346215):
Displaying 21 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Relevant restricted quantification (Q853811) (← links)
- Motivation and demotivation of a four-valued logic (Q920963) (← links)
- A four-valued semantics for terminological logics (Q1115428) (← links)
- Four-valued logic (Q1422105) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- ``Four-valued'' semantics for the relevant logic R (Q1876086) (← links)
- An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs (Q1978009) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- (Q3086715) (← links)
- Two Negations Are More than One (Q3305676) (← links)
- A 4-valued framework encompassing intuitionistic and classical logic (Q4583348) (← links)
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4 (Q4644573) (← links)
- On the expressive power of three-valued and four-valued languages (Q4943507) (← links)
- (Q5067981) (← links)
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility (Q5957421) (← links)
- Indicative conditionals in awareness framework (Q6562525) (← links)
- Deep fried logic (Q6651286) (← links)