scientific article; zbMATH DE number 4035828
From MaRDI portal
Publication:3775557
Recommendations
Cited in
(19)- Completeness theorems for some intermediate predicate calculi
- Completeness of intuitionistic predicate calculus with the concept of bar
- The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
- A new semantics for intuitionistic predicate logic
- A constructive approach to nonstandard analysis
- Programming interfaces and basic topology
- Constructive proof theory and nonstandard analysis. Edited by G. E. Mints
- scientific article; zbMATH DE number 4152375 (Why is no real title available?)
- scientific article; zbMATH DE number 5649339 (Why is no real title available?)
- scientific article; zbMATH DE number 4057508 (Why is no real title available?)
- scientific article; zbMATH DE number 19690 (Why is no real title available?)
- scientific article; zbMATH DE number 32142 (Why is no real title available?)
- scientific article; zbMATH DE number 1059316 (Why is no real title available?)
- scientific article; zbMATH DE number 4116494 (Why is no real title available?)
- scientific article; zbMATH DE number 2108194 (Why is no real title available?)
- scientific article; zbMATH DE number 4195940 (Why is no real title available?)
- A completeness proof for a regular predicate logic with undefined truth value
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3775557)
