Search Results - "Preining, Norbert"

SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION.

Authors: PARK, SEWON BRAUSSE, FRANZ COLLINS, PIETER et al.

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-55, 55p

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.

Authors: BECKMANN, ARNOLD PREINING, NORBERT

Source: Journal of Logic & Computation; Jun2015, Vol. 25 Issue 3, p527-547, 21p

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.

Authors: Baaz, Matthias Preining, Norbert

Source: Journal of Logic & Computation; August 2008, Vol. 18 Issue 4, p649-668, 20p

Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning.

Authors: Beckmann, Arnold Preining, Norbert

Source: Journal of Logic & Computation; Sep2018, Vol. 28 Issue 6, p1125-1187, 63p