A diagrammatic bridge between standard and non-standard logics: the numerical segment

In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Birkhaüser (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Mcgill-Queen's University Press.
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
Gödel justification logics and realization.Nicholas Pischke - 2022 - Logic Journal of the IGPL 30 (3):343-408.
Logic: The Basics.Jc Beall - 2010 - New York: Routledge.
The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology. [REVIEW]G. W. R. - 1982 - Review of Metaphysics 35 (3):627-629.
Deductive Systems and the Decidability Problem for Hybrid Logics.Michal Zawidzki - 2014 - Cambridge University Press.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
A Diagrammatic Derivation of the Hermitian Adjoint.John H. Selby & Bob Coecke - 2017 - Foundations of Physics 47 (9):1191-1207.
Empty Logics.Federico Pailos - 2021 - Journal of Philosophical Logic 51 (6):1387-1415.
Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
The preferential-models approach to non-monotonic logics.Philippe Besnard & Pierre Siegel - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 137--161.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
A note on the first‐order logic of complete BL‐chains.Petr Hájek & Franco Montagna - 2008 - Mathematical Logic Quarterly 54 (4):435-446.
Depicting Negation in Diagrammatic Logic: Legacy and Prospects.Fabien Schang & Amirouche Moktefi - 2008 - Diagrammatic Representation and Inference: Proceedings of the 5th International Conference Diagrams 2008 5223:236-241.

Analytics

Added to PP
2022-12-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references