Non-axiomatizable second order intuitionistic propositional logic
type: Item
instance of: scholarly article
title: Non-axiomatizable second order intuitionistic propositional logic
zbMATH Open document ID: 0873.03007
DOI: 10.1016/S0168-0072(96)00034-6
published in: Annals of Pure and Applied Logic
publication date: 1997-07-23T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C80
zbMATH DE Number: 1038663
zbMATH Keywords: recursive axiomatizability
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: second-order intuitionistic propositional logic
zbMATH Keywords: Kripke frames
author: Dmitrij Skvortsov
MaRDI profile type: Publication
cites work: Propositional quantifiers in modal logic1
cites work: On 2nd order intuitionistic propositional calculus with full comprehension
cites work: On the complexity of propositional quantification in intuitionistic logic
cites work: Q4141213
full work available at URL: s0168-0072(96)00034-6
OpenAlex ID: W2000391050
Recommended article: On second order intuitionistic propositional logic without a universal quantifier
Recommended article: A secondary semantics for Second Order Intuitionistic Propositional Logic
Recommended article: Q2996331
Recommended article: Nonstandard connectives of intuitionistic propositional logic
Recommended article: On an interpretation of second order quantification in first order intuitionistic propositional logic
Recommended article: Nonaxiomatizability of predicate logics of proofs
Recommended article: On some non-classical extensions of second-order intuitionistic propositional calculus
Recommended article: A(nother) characterization of intuitionistic propositional logic
Recommended article: Q5365520
Recommended article: Nonmonotonic consequence based on intuitionistic logic
description: scientific article; zbMATH DE number 1038663