scientific article; zbMATH DE number 4049622

zbMATH Open0644.03015MaRDI QIDQ3786473FDOQ3786473

Authors: Peter H. Schmitt 

Publication date: 1986

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

Recommendations

• Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
• Intuitionistic three-valued logic and logic programming
• TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic
• Natural 3-valued logics—characterization and proof theory
• scientific article; zbMATH DE number 1348472

zbMATH Keywords

three-valued logicHorn clausesnatural language semanticscomplete proof systemnegative resolutionPROLOG-style proof procedure

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic of natural languages (03B65) Mechanization of proofs and logical operations (03B35)

Cited In (31)

• Title not available (Why is that?)
• Three-valued propositional dynamic logic
• Title not available (Why is that?)
• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• Title not available (Why is that?)
• Legality concepts for three-valued logic programs
• Title not available (Why is that?)
• Programming in three-valued logic
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• On constructing intellectual systems in ternary logic
• Resolution approximation of first-order logics
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Intuitionistic three-valued logic and logic programming
• The pursuit of an implication for the logics L3A and L3B
• The tableau-based theorem prover 3 T A P Version 4.0
• A three-valued logic neuron model and its reasoning
• Title not available (Why is that?)
• Foreword: three-valued logics and their applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial and paraconsistent three-valued logics
• Title not available (Why is that?)
• The three-valued logic of quadratic form theory over real rings
• A three-valued approach to default logic
• TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic
• A resolution framework for finitely-valued first-order logics
• Pseudo-Boolean valued Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• An application of clasp in the study of logics

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