scientific article; zbMATH DE number 4049622
From MaRDI portal
Publication:3786473
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
Cited in
(32)- scientific article; zbMATH DE number 3870581 (Why is no real title available?)
- Three-valued propositional dynamic logic
- scientific article; zbMATH DE number 4008367 (Why is no real title available?)
- Legality concepts for three-valued logic programs
- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
- Programming in three-valued logic
- scientific article; zbMATH DE number 1405671 (Why is no real title available?)
- scientific article; zbMATH DE number 2209822 (Why is no real title available?)
- \(\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
- scientific article; zbMATH DE number 2209454 (Why is no real title available?)
- Foreword: three-valued logics and their applications
- scientific article; zbMATH DE number 2079265 (Why is no real title available?)
- scientific article; zbMATH DE number 1983176 (Why is no real title available?)
- scientific article; zbMATH DE number 465607 (Why is no real title available?)
- Partial and paraconsistent three-valued logics
- scientific article; zbMATH DE number 1471989 (Why is no real title available?)
- The three-valued logic of quadratic form theory over real rings
- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic
- A three-valued approach to default logic
- A resolution framework for finitely-valued first-order logics
- Pseudo-Boolean valued Prolog
- scientific article; zbMATH DE number 3928968 (Why is no real title available?)
- Encoding many-valued logic in $\lambda$-calculus
- scientific article; zbMATH DE number 13470 (Why is no real title available?)
- 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)
