Identity, equality, nameability and completeness. Part II

DOI10.18778/0138-0680.47.3.01zbMath1437.03051OpenAlexW2940608448MaRDI QIDQ4629288

Manuel Crescenio Moreno, María Manzano

Publication date: 21 March 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.47.3.01

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38)

Related Items (1)

Completeness in equational hybrid propositional type theory

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness in hybrid type theory
• Types, tableaus, and Gödel's God
• First-order modal logic
• Completeness in equational hybrid propositional type theory
• A Bit of History Related to Logic Based on Equality
• Henkin and Hybrid Logic
• Identity, Equality, Nameability and Completeness
• A theory of prepositional types
• A reduction of the axioms for the theory of prepositional types
• The completeness of the first-order functional calculus
• Completeness in the theory of types

This page was built for publication: Identity, equality, nameability and completeness. Part II