Algebraic Methods in Philosophical Logic
E1090247
UNEXPLORED
Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Algebraic Methods in Philosophical Logic canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14265519 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Algebraic Methods in Philosophical Logic Context triple: [J. Donald Monk, hasWritten, Algebraic Methods in Philosophical Logic]
-
A.
Proof Methods for Modal and Intuitionistic Logics
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
-
B.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
-
C.
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
-
D.
An Introduction to Non-Classical Logic
An Introduction to Non-Classical Logic is a widely used textbook by philosopher Graham Priest that systematically presents and explains a range of logics beyond classical logic, including many-valued, paraconsistent, modal, and intuitionistic systems.
-
E.
An Essay in Modal Logic
An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Algebraic Methods in Philosophical Logic Target entity description: Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
-
A.
Proof Methods for Modal and Intuitionistic Logics
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
-
B.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
-
C.
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
-
D.
An Introduction to Non-Classical Logic
An Introduction to Non-Classical Logic is a widely used textbook by philosopher Graham Priest that systematically presents and explains a range of logics beyond classical logic, including many-valued, paraconsistent, modal, and intuitionistic systems.
-
E.
An Essay in Modal Logic
An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.