Publication:4166736
From MaRDI portal
zbMath0386.03001MaRDI QIDQ4166736
Robert L. Martin, Peter W. Woodruff
Publication date: 1976
68Q45: Formal languages and automata
03A05: Philosophical and critical aspects of logic and foundations
68Q55: Semantics in the theory of computing
68T99: Artificial intelligence
03B99: General logic
Related Items
Grounding, dependence, and paradox, Non-monotonic logic. I, Truth and the liar in De Morgan-valued models