scientific article; zbMATH DE number 3484054

zbMATH Open0309.02065MaRDI QIDQ4067100FDOQ4067100

Authors: Paul C. Gilmore 

Publication date: 1974

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Cited In (22)

• Positive abstraction and extensionality
• Logical foundations for programming semantics
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Axiomatic theory of enumeration: A note on the axiom of extensionality
• On partial and paraconsistent logics
• Property theory: The type-free approach \(v\). The Church approach
• On meaningfulness and truth
• Models for a paraconsistent set theory
• A strong model of paraconsistent logic
• Languages with self-reference. II: Knowledge, belief, and modality
• Title not available (Why is that?)
• A contextual-hierarchical approach to truth and the liar paradox
• Paths to triviality
• A note on three-valued logic and Tarski theorem on truth definitions
• Truth and meaning
• First degree entailment, symmetry and paradox
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Cuts and gluts
• Approximate databases: a support tool for approximate reasoning
• Is there an axiomatic semantics for standard pure Prolog?
• Three theories of nominalized predicates
• Assertion, Denial and Non-classical Theories

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 Q4067100)