scientific article
From MaRDI portal
Publication:2771733
zbMath0992.03013MaRDI QIDQ2771733
Publication date: 18 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesscompactnessself-referencesoundnessabstract logicLöwenheim-Skolem theoremclassical negation\(\in_T\)-extension of a logicintensional structuresparametrized \(\in_T\)-logictotal truth predicate
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract deductive systems (03B22)
Related Items (3)
Reasoning about proof and knowledge ⋮ \(\in_K\): a non-Fregean logic of explicit knowledge ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
This page was built for publication: