A constructive approach to state description semantics

Journal of Applied Logic 1 (1-2):13-46 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s1570-8683(03)00003-x

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,004

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

KALC: a constructive semantics for ALC.Paola Villa - 2011 - Journal of Applied Non-Classical Logics 21 (2):233-255.
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.F. Parlamento - 2014 - Notre Dame Journal of Formal Logic 55 (3):383-395.
Logical connectives for two-state semantics.Marta Cialdea Mayer & Luis Fariñas del Cerro - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):520-536.
Specification of nonmonotonic reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
From Dialogue To Dialogue: Conversations and the Dialogical Approach to Meaning.Shahid Rahman - 2014 - In Dov Gabbay & Shahid Rahman, De l’orature à l’écriture. pp. 71-106.
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.
Explicit Provability and Constructive Semantics.[author unknown] - 2002 - Bulletin of Symbolic Logic 8 (3):432-433.

Analytics

Added to PP
2016-06-30

Downloads
16 (#1,288,775)

6 months
2 (#1,374,505)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Intuitionistic categorial grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.

Add more references