Some results on intermediate constructive logics

, , , &
Notre Dame Journal of Formal Logic 30 (4):543-562 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635238

Links

PhilArchive



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

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

On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
Counting the maximal intermediate constructive logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
A constructivism based on classical truth.Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi & Gabriele Usberti - 1988 - Notre Dame Journal of Formal Logic 30 (1):67-90.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Pseudo two-valued evaluation method for intermediate logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
On the existence of continua of logics between some intermediate predicate logics.D. Skvortsov - 2000 - Studia Logica 64 (2):257-270.
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.Vladimir V. Rybakov - 1994 - Studia Logica 53 (2):203 - 225.
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
On canonicity and strong completeness conditions in intermediate propositional logics.Silvio Ghilardi & Pierangelo Miglioli - 1999 - Studia Logica 63 (3):353-385.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.

Analytics

Added to PP
2010-08-24

Downloads
29 (#538,668)

6 months
13 (#184,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriele Usberti
Università degli Studi di Siena

Citations of this work

Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
Structural completeness in propositional logics of dependence.Rosalie Iemhoff & Fan Yang - 2016 - Archive for Mathematical Logic 55 (7-8):955-975.
Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references