scientific article; zbMATH DE number 1909447
From MaRDI portal
Publication:4805348
zbMath1027.03002MaRDI QIDQ4805348
Publication date: 13 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
The problem of rational knowledge ⋮ Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form ⋮ From undecidability of non-triviality and finiteness to undecidability of learnability ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Temporal-logic property preservation under Z refinement ⋮ On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ Concrete digital computation: what does it take for a physical system to compute? ⋮ Interpretability in PRA
This page was built for publication:
