A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation

Publisher Website

1 January 1999

book chapter
Published by Springer Nature

p. 23-51
https://doi.org/10.1007/978-94-015-9309-0_2

Abstract

No abstract available

Keywords

This publication has 22 references indexed in Scilit:

Star and Perp: Two Treatments of Negation
Philosophical Perspectives, 1993
Belief, awareness, and limited reasoning
Artificial Intelligence, 1987
Non-monotonic logic I
Artificial Intelligence, 1980
The Semantics of First Degree Entailment
Noûs, 1972
Homomorphisms of intensionally complemented distributive lattices
Mathematische Annalen, 1968
A calculus of antinomies.
Notre Dame Journal of Formal Logic, 1966
An intuitive interpretation of systems of four-valued logic.
Notre Dame Journal of Formal Logic, 1965
Lattices with involution
Transactions of the American Mathematical Society, 1958
The Logic of Quantum Mechanics
Annals of Mathematics, 1936
V.—A DISCUSSION OF A CERTAIN TYPE OF NEGATIVE PROPOSITION
Mind, 1917