Follow
Norbert Preining
Title
Cited by
Cited by
Year
First-order Gödel logics
M Baaz, N Preining, R Zach
Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007
812007
Complete recursive axiomatizability of Gödel logics
N Preining
na, 2003
272003
Continuous Fraïssé conjecture
A Beckmann, M Goldstern, N Preining
Order 25 (4), 281-298, 2008
262008
Gödel-Dummett logics
M Baaz, N Preining, P Cintula, P Hájek, C Noguera
Handbook of Mathematical Fuzzy Logic 2, 585-626, 2011
242011
Linear Kripke frames and Gödel logics
A Beckmann, N Preining
The Journal of Symbolic Logic 72 (1), 26-44, 2007
222007
Characterization of the axiomatizable prenex fragments of first-order godel logics
M Baaz, N Preining, R Zach
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings …, 2003
192003
Gödel logics–a survey
N Preining
International Conference on Logic for Programming Artificial Intelligence …, 2010
152010
A dialogue game for intuitionistic fuzzy logic based on comparisons of degrees of truth
CG Fermüller, N Preining
na, 2003
152003
SAT in Monadic Gödel Logics: a borderline between decidability and undecidability
M Baaz, A Ciabattoni, N Preining
Logic, Language, Information and Computation: 16th International Workshop …, 2009
112009
Gödel logics and Cantor-Bendixon analysis
N Preining
International Conference on Logic for Programming Artificial Intelligence …, 2002
112002
Blockchain‐based cyber physical trust systems
A Beckmann, A Milne, JJ Razafindrakoto, P Kumar, M Breach, N Preining
IoT Security: Advances in Authentication, 265-277, 2020
102020
Hyper natural deduction
A Beckmann, N Preining
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 547-558, 2015
92015
Completeness of a hypersequent calculus for some first-order godel logics with delta
M Baaz, N Preining, R Zach
36th International Symposium on Multiple-Valued Logic (ISMVL'06), 9-9, 2006
92006
Quantifier Elimination for quantified propositional logics on Kripke frames of type!
M Baaz, N Preining
J Log Comput 18 (4), 649-720, 2008
72008
Linear Kripke frames and Gödel logics
A Beckmann, N Preining
Journal of Symbolic Logic, 2005
62005
Semantics, logic, and verification of" exact real computation
F Brauße, P Collins, J Kanig, SY Kim, M Konečny, G Lee, N Müller, ...
arXiv preprint arXiv 1608, 2016
52016
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
A Beckmann, N Preining
Journal of Logic and Computation 25 (3), 527-547, 2015
52015
Liveness Properties in CafeOBJ–A Case Study for Meta-Level Specifications
N Preining, K Ogata, K Futatsugi
International Symposium on Logic-Based Program Synthesis and Transformation …, 2014
52014
First-order satisfiability in Gödel logics: an NP-complete fragment
M Baaz, A Ciabattoni, N Preining
Theoretical computer science 412 (47), 6612-6623, 2011
52011
A guide to quantified propositional Gödel logic
M Baaz, A Ciabattoni, N Preining, H Veith
IJCAR workshop QBF, 2001
52001
The system can't perform the operation now. Try again later.
Articles 1–20