Search results for "Gödel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Calculli for Gödel-Dummett Logics.	CSL	2003	DBLP DOI BibTeX RDF	Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
79	Richard Zach	Kurt Gödel and Computability Theory.	CiE	2006	DBLP DOI BibTeX RDF
76	Petr Cintula	Two notions of compactness in Gödel logics.	Stud Logica	2005	DBLP DOI BibTeX RDF	Gödel logic, Logic, Satisfiability, Compactness, Entailment
67	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller	Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.	LPAR	2007	DBLP DOI BibTeX RDF
58	Valery Plisko	Two Semantics and Logics Based on the Gödel Interpretation.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
58	Sergei N. Artëmov, Tyko Straßen	The Logic of the Gödel Proof Predicate.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
58	Solomon Feferman	Gödel's Dialectica Interpretation and Its Two-Way Stretch.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
56	Roy Dyckhoff, Sara Negri	Decision methods for linearly ordered Heyting algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Gödel algebra, Gödel-Dummett logic, lattice theory, linear order, Heyting algebra
54	Luís Moniz Pereira	Gödel and Computability.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
54	John W. Dawson	Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science.	LICS	2006	DBLP DOI BibTeX RDF
54	Jürgen Schmidhuber	Gödel Machines: Towards a Technical Justification of Consciousness.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
54	Matthias Baaz, Norbert Preining, Richard Zach	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.	ISMVL	2003	DBLP DOI BibTeX RDF
54	Andreas Weiermann	A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
51	Gunnar Wilken, Andreas Weiermann	Complexity of Gödel's T in lambda-Formulation.	TLCA	2009	DBLP DOI BibTeX RDF	Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
51	Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra	De Finetti's No-Dutch-Book Criterion for Gödel logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	Gödel infinite-valued propositional logic, intuitionistic logic with prelinearity, de Finetti’s Criterion, Dutch book, probability
51	Lars Kristiansen	Complexity-Theoretic Hierarchies Induced by Fragments of Gödel's T.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Subrecursive classes, ?-Calculi, Gödel’s T, Types, Complexity theory
51	Dominique Larchey-Wendling	Graph-based Decision for Gödel-Dummett Logics.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Gödel-Dummett logic, countermodels, graphs, decision procedures, sequent calculus
47	Lars Kristiansen	Complexity-Theoretic Hierarchies.	CiE	2006	DBLP DOI BibTeX RDF	subrecursive classes, ?-calculi, Gödel’s T, types, Complexity theory
42	Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Lorenzo Tortora de Falco	Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Anton Setzer	Translating Set Theoretical Proofs into Type Theoretical Programs.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Alexei Lisitsa 0001, Vladimir Yu. Sazonov	Bounded Hyperset Theory and Web-like Data Bases.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Norbert Preining	Sketch-as-Proof.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Wilfried Buchholz	Explaining Gentzen's Consistency Proof within Infinitary Proof Theory.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Robert Matzinger	Comparing Computational Representations of Herbrand Models.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Dan E. Willard	The Tangibility Reflection Principle for Self-Verifying Axiom Systems.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Christian Pape 0001, Reiner Hähnle	Restart Tableaux with Selection Function.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Samuel R. Buss	Alogtime Algorithms for Tree Isomorphism, Comparison, and Canonization.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Leo Bachmair	Paramodulation, Superposition, and Simplification.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Khakhanian V. Kh	Markov's Rule Is Admissible in the Set Theory with Intuitionistic Logic.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Agata Ciabattoni, Duccio Luchi	Two Connections Between Linear Logic and Lukasiewicz Logics.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Paul C. Gilmore	NaDSyL and some Applications.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Walter Alexandre Carnielli, Paulo A. S. Veloso	Ultrafilter Logic and Generic Reasoning.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Uwe Egly, Karin Genther	Structuring of Computer-Generated Proofs by Cut Introduction.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Margus Veanes	The Undecidability of Simultaneous Rigid E-Unification with Two Variables.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Tomasz Polacik	Propositional Quantification in Intuitionistic Logic.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Regimantas Pliuskevicius	On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	John Alan Robinson	Informal Rigor and Mathematical Understanding.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Bernd Borchert, Frank Stephan 0001	Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Johann A. Makowsky	Invariant Definability (Extended Abstract).	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Tanel Tammet	Resolution, Inverse Method and the Sequent Calculus.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Hongwei Xi	Upper Bounds for Standardizations and an Application.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	David A. Basin, Seán Matthews, Luca Viganò 0001	A New Method for Bounding the Complexity of Modal Logics.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Jerzy Tiuryn	Subtyping over a Lattice (Abstract).	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Lev D. Beklemishev	Parameter Free Induction and Reflection.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
42	Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Dan E. Willard	Self-Verifying Axiom Systems.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Leszek Pacholski	Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Stefan Brüning	On Loop Detection in Connection Calculi.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Mario R. F. Benevides	Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt	The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Petr Hájek 0001	Epistemic Entrenchment and Arthmetical Hierarchy (Abstract).	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Grigori Mints	Strategies for Resolution Method in Non-classical Logics (Abstract).	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Michel Parigot	Classical Proofs as Programs.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Giovanni Sambin, Silvio Valentini	Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	V. Wiktor Marek	Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract).	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Adam Kolany	On the Logic of Hypergraphs.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Alberto Bottoni, Giorgio Levi	The Inverse of Fitting's Functional.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx	The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Giovanni Faglia	Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Jean Goubault	A Rule-based Algorithm for Rigid E-Unification.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	N. P. Bamber	Computation with Access to the Reals, but Using only Classical Machines.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Uwe Petermann	Completeness of the Pool Calculus with an Open Built-in Theory.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Martin Kummer, Frank Stephan 0001	Recursion Theoretic Properties of Frequency Computation and Bounded Queries (Extended Abstract).	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Jan Johannsen	On the Weakness of Sharply Bounded Polynomial Induction.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Giovanni Faglia, Paul Young	In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Egon Börger, Dean Rosenzweig	The Mathematics of Set Predicates in Prolog.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Uwe Egly	On Different Concepts of Function Introduction.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Newton C. A. da Costa, Francisco A. Doria	On Arnold's Hilbert Symposium Problems.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Paul C. Gilmore	A Syntactic Consistency Proof for NaDSet.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	André Nies	Interpreting True Arithmetic in Degree Structures.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Jirí Zlatuska	Committed-Choice Concurrent Logic Programming in Linear Logic.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Vladimir Yu. Sazonov, Andrei Voronkov	A Construction of Typed Lambda Models Related to Feasible Computability.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Leo Bachmair, Harald Ganzinger, Uwe Waldmann	Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Joseph Y. Halpern	A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Regimantas Pliuskevicius	On the Saturation Principle for a Linear Temporal Logic.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Robert Cowen	Some Connections Between Set Theory and Computer Science.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Tomi Janhunen, Ilkka Niemelä	A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Grigori Schwarz, Miroslaw Truszczynski	Nonmonotonic Reasoning is Sometimes Simpler.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
42	Jürgen Schmidhuber	Ultimate Cognition à la Gödel.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Universal cognitive systems, Ultimate cognition, Optimal general problem solver, Goedel machine, Global optimality theorem, AI becoming a formal science, Self-reference
42	Pilar Dellunde, Lluís Godo, Enrico Marchioni	Exploring Extensions of Possibilistic Logic over Gödel Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF
42	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	Open Partitions and Probability Assignments in Gödel Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF
42	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	Best Approximation of Ruspini Partitions in Gödel Logic.	ECSQARU	2007	DBLP DOI BibTeX RDF
42	Lars Kristiansen, Paul J. Voda	The Trade-Off Theorem and Fragments of Gödel's T.	TAMC	2006	DBLP DOI BibTeX RDF
42	Wilfried Sieg	Gödel's Conflicting Approaches to Effective Calculability.	CiE	2006	DBLP DOI BibTeX RDF
42	John W. Dawson Jr.	Gödel and the Origins of Computer Science.	CiE	2006	DBLP DOI BibTeX RDF
42	Norbert Preining	Gödel Logics and Cantor-Bendixon Analysis.	LPAR	2002	DBLP DOI BibTeX RDF
42	Matthias Baaz, Agata Ciabattoni, Richard Zach	Quantified Propositional Gödel Logics.	LPAR	2000	DBLP DOI BibTeX RDF
42	Giuseppe Longo, Eugenio Moggi	Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness.	MFCS	1984	DBLP DOI BibTeX RDF
38	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	The Euler Characteristic of a Formula in Godel Logic.	ISMVL	2010	DBLP DOI BibTeX RDF	Gödel Logic, Valuation, Euler Characteristic
38	Luca Alberucci, Alessandro Facchini	On Modal µ -Calculus and Gödel-Löb Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	Modal ?-Calculus, Gödel-Löb Logic, Fixpoint
37	Wilfried Sieg	On mind & Turing's machines.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine
37	Jürgen Schmidhuber	2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years.	50 Years of Artificial Intelligence	2006	DBLP DOI BibTeX RDF
37	Manfred Kerber	Why Is the Lucas-Penrose Argument Invalid?.	KI	2005	DBLP DOI BibTeX RDF
37	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith	Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.	MFCS	1998	DBLP DOI BibTeX RDF
35	Markus Clemens, Sebastian Schöps, Carsten Cimala, Nico Gödel, Simon Runke, Daniel Schmidthäusler, Thomas Timm	Aspects of Coupled Problems in Computational Electromagnetics Formulations.	CoRR	2023	DBLP DOI BibTeX RDF
35	Michel Godel, François Robain, Fiona Journal, Nada Kojovic, Kenza Latrèche, Ghislaine Dehaene-Lambertz, Marie Schaer	Prosodic signatures of ASD severity and developmental delay in preschoolers.	npj Digit. Medicine	2023	DBLP DOI BibTeX RDF
35	Marie Drouhin, Shuai Li, Matthieu Grelier, Sophie Collin, Florian Godel, Robert Glen Elliman, Bruno Dlubak, Juan Trastoy, Damien Querlioz, Julie Grollier	Characterization and modeling of spiking and bursting in experimental NbO x neuron.	Neuromorph. Comput. Eng.	2022	DBLP DOI BibTeX RDF
35	Marie Drouhin, Shuai Li, Matthieu Grelier, Sophie Collin, Florian Godel, Robert Glen Elliman, Bruno Dlubak, Juan Trastoy, Damien Querlioz, Julie Grollier	Characterization and modeling of spiking and bursting in experimental NbOx neuron.	CoRR	2022	DBLP DOI BibTeX RDF
35	Simon Rahn, Marion Gödel, Gerta Köster, Gesine Hofinger	Modelling airborne transmission of SARS-CoV-2 at a local scale.	CoRR	2021	DBLP BibTeX RDF