Quantifier-free logic for nondeterministic theories

DOI10.1016/J.TCS.2006.01.010zbMATH Open1088.68113OpenAlexW2046478788MaRDI QIDQ2369014FDOQ2369014

Authors: Yngve Lamo, Michał Walicki 

Publication date: 28 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.01.010

Recommendations

• Quantifier-free logic for multialgebraic theories
• scientific article; zbMATH DE number 1303442
• Reasoning with first order nondeterministic specifications
• Combining specification formalisms in the `general logic' of multialgebras.
• scientific article; zbMATH DE number 234027

zbMATH Keywords

NondeterminismAlgebraic specificationStrong completenessMultialgebraRasiowa-Sikorski techniqueSpecific cut

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Cites Work

• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Rasiowa-Sikorski deduction systems in computer science applications.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specialization of the use of axioms for deduction search in axiomatic theories with equality
• Reasoning with first order nondeterministic specifications

Cited In (11)

• Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
• A reasoning system for satisfiability of diagrammatic specifications
• Non-deterministic semantics for logics with a consistency operator
• Title not available (Why is that?)
• Independence-friendly logic without Henkin quantification
• Combining specification formalisms in the `general logic' of multialgebras.
• Quantifier-free versions of first order logic and their psychological significance
• A constructive semantics for non‐deducibility
• A Term-Graph Syntax for Algebras over Multisets
• Quantifier-free logic for multialgebraic theories
• Neutral free logic: motivation, proof theory and models

This page was built for publication: Quantifier-free logic for nondeterministic theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369014)