Logical connectives for two-state semantics

&
Journal of Applied Non-Classical Logics 33 (3-4):520-536 (2023)
  Copy   BIBTEX

Abstract

1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2023.2244362

Links

PhilArchive



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

External links

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

Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 7. Internal logic 2 Oleg M. Polyakov.O. M. Polyakov - 2022 - Дискурс 8 (2):98-112.
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 57--79.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
State-of-affairs Semantics for Positive Free Logic.Hans-Peter Leeb - 2006 - Journal of Philosophical Logic 35 (2):183-208.
Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.
Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 7. Internal Logic 1.O. M. Polyakov - 2022 - Дискурс 8 (1).
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.
Verbal Disputes in Logic: Against minimalism for logical connectives.Ole Hjortland - 2014 - Logique Et Analyse 57 (227):463-486.
Jan Dullaert of Ghent on the Foundations of Propositional Logic.Miroslav Hanke - 2017 - Vivarium 55 (4):273-306.
Logical Instrumentalism and Concatenation.Teresa Kouri Kissel - 2019 - Felsefe Arkivi 51:153-160.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics.Tomasz Jarmużek, Mateusz Klonowski & Piotr Kulicki - forthcoming - Studia Logica:1-19.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155-170.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.

Analytics

Added to PP
2023-08-18

Downloads
12 (#1,085,611)

6 months
9 (#308,527)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
The axiomatization of the intermediate propositional systems S2 of Godel.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 13:183--187.

Add more references