Partial up an down logic
type: Item
instance of: scholarly article
title: Partial up an down logic
zbMATH Open document ID: 0837.03026
author: Jan Jaspars
published in: Notre Dame Journal of Formal Logic
publication date: 1995-12-11T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 824596
zbMATH Keywords: logics for reasoning about extension and reduction of partial information states
zbMATH Keywords: constructive logics
zbMATH Keywords: logic of constructible falsity
zbMATH Keywords: semantics
zbMATH Keywords: sequential calculi
zbMATH Keywords: completeness
zbMATH Keywords: decidability
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040308832
OpenAlex ID: W2010630417
cites work: Q5595152
cites work: Q3858244
cites work: Q4325792
cites work: Q4342079
cites work: Q5582318
cites work: Q3939274
cites work: Intuitionistic logic with strong negation
cites work: Q3026978
cites work: Q4833772
cites work: Q4273421
cites work: Q5509675
cites work: Q3992553
cites work: Constructible falsity
cites work: A logic for default reasoning
cites work: A system of dynamic modal logic
cites work: Generalized quantifiers and modal logic
cites work: Q4833777
cites work: Intuitionistic propositional logic is polynomial-space complete
cites work: Q4027734
cites work: On the strong semantical completeness of the intuitionistic predicate calculus
cites work: A semantical study of constructible falsity
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Vivid logic. Knowledge-based reasoning with two kinds of negation
cites work: The logic of information structures
DOI: 10.1305/NDJFL/1040308832
description: scientific article; zbMATH DE number 824596