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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,410

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

Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
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.
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.
Variants of multi-relational semantics for propositional non-normal modal logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.
State-Based Modal Logics for Free Choice.Maria Aloni, Aleksi Anttila & Fan Yang - 2024 - Notre Dame Journal of Formal Logic -1:1-47.
Algebraic semantics for propositional superposition logic.Athanassios Tzouvaras - 2020 - Journal of Applied Non-Classical Logics 30 (4):335-366.
Substructural logics on display.R. Goré - 1998 - Logic Journal of the IGPL 6 (3):451-504.
Translating Non-classical Logics into Classical Logic by Using Hidden Variables.Juan C. Agudelo-Agudelo - 2017 - Logica Universalis 11 (2):205-224.
On deductive bases for paraconsistent answer set semantics.N. V. Mayatskiy & S. P. Odintsov - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):131-146.

Analytics

Added to PP
2023-08-18

Downloads
34 (#544,776)

6 months
19 (#136,855)

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