routley star semantics

E356721

nonclassical logic semantics possible‑worlds semantics semantic framework

Routley star semantics is a possible-worlds-style semantic framework for relevant and paraconsistent logics that uses a special “star” operation on worlds to model negation without explosion.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
Routley–Meyer semantics for relevant logic	1
routley star semantics canonical	1

Statements (46)

Predicate	Object
instanceOf	nonclassical logic semantics ⓘ possible‑worlds semantics ⓘ semantic framework ⓘ
appliesTo	routley star semantics self-linksurface differs ⓘ surface form: Routley–Meyer semantics for relevant logic systems of relevant logic such as R ⓘ
associatedWith	Anderson–Belnap relevant logics ⓘ Sylvan, Richard ⓘ
avoids	principle of explosion ⓘ triviality from contradictions ⓘ
basedOn	accessibility relations ⓘ possible worlds ⓘ
clarifies	difference between classical and relevant negation ⓘ role of worlds in modeling inconsistency ⓘ
contrastsWith	classical Kripke semantics for modal logic ⓘ truth‑functional semantics for classical logic ⓘ
developedBy	Richard Routley ⓘ Robert K. Meyer NERFINISHED ⓘ
formalizes	semantics of implication in relevant logic ⓘ semantics of negation in relevant logic ⓘ
hasComponent	accessibility relation between worlds ⓘ set of worlds ⓘ star function on worlds ⓘ valuation function for propositional variables ⓘ
hasKeyFeature	allows inconsistent but non‑trivial theories ⓘ allows relevant implication ⓘ generalizes Kripke semantics for nonclassical logics ⓘ interprets negation via starred worlds ⓘ models negation without explosion ⓘ uses a star operation on worlds ⓘ uses ordered pairs of worlds and their stars ⓘ
hasOperation	Routley star ⓘ world‑to‑world involution ⓘ
hasProperty	negation of a formula at a world is evaluated at the starred world ⓘ star of star of a world returns the original world ⓘ
influenced	later semantics for paraconsistent logics ⓘ semantics for relevant entailment ⓘ
permits	true contradictions without triviality ⓘ
relatedTo	dialetheism ⓘ non‑explosive logics ⓘ
supports	paraconsistent negation ⓘ relevant implication ⓘ
usedFor	paraconsistent logics ⓘ relevant logics ⓘ
usedIn	philosophical logic ⓘ theory of paraconsistency ⓘ theory of relevance ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Graham Priest → hasConcept → routley star semantics ⓘ

routley star semantics → appliesTo → routley star semantics self-linksurface differs ⓘ

subject surface form: Routley star semantics

this entity surface form: Routley–Meyer semantics for relevant logic