A reduction of the axioms for the theory of prepositional types

From MaRDI portal

Revision as of 23:16, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5332210

Jump to:navigation, search

DOI10.4064/fm-52-3-345-350zbMath0127.00701OpenAlexW1498831097WikidataQ114573867 ScholiaQ114573867MaRDI QIDQ5332210

No author found.

Publication date: 1963

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213715

zbMATH Keywords

mathematical logic

Related Items (8)

A Bit of History Related to Logic Based on Equality ⋮ Henkin on Completeness ⋮ Extending Montague's system: A three valued intensional logic ⋮ Identity, equality, nameability and completeness. Part II ⋮ The seven virtues of simple type theory ⋮ On fuzzy type theory ⋮ Completeness in equational hybrid propositional type theory ⋮ A simple type theory with partial functions and subtypes

This page was built for publication: A reduction of the axioms for the theory of prepositional types

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5332210&oldid=20019003"