Concepedia
1987 · 55 citations · 0 references
HumanitiesComputer SciencePhilosophyFormal MethodsLogicDeontic LogicHoare LogicParaconsistent LogicPhilosophical LogicPhilosophy Of LogicTemporal LogicParaconsistent Consequence RelationsParaconsistent Model TheoryParaconsistent Semantics