Search results for "Excluded-middle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Guoping Du, Hongguang Wang, Jie Shen	Oppositional Logic.	LORI	2009	DBLP DOI BibTeX RDF	oppositional logic, intuitionism, negation, paraconsistent
92	Enric Trillas	Non Contradiction, Excluded Middle, and Fuzzy Sets.	WILF	2009	DBLP DOI BibTeX RDF	Self-contradiction, Non-contradiction, Excluded-middle, De Morgan algebras, Algebras of fuzzy sets
47	Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach	An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.	LICS	2004	DBLP DOI BibTeX RDF
47	Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin	Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.	CSL	2002	DBLP DOI BibTeX RDF	superintuitionistic logics, Kolmogorov complexity, realizability
47	Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti	Cut-free proof systems for logics of weak excluded middle.	Soft Comput.	1998	DBLP DOI BibTeX RDF
34	Robert L. Constable, Wojciech Moczydlowski	Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics.	IJCAR	2006	DBLP DOI BibTeX RDF
30	Norihiro Kamide	Natural Deduction with Explosion and Excluded Middle.	ISMVL	2023	DBLP DOI BibTeX RDF
30	Tomás Lávicka, Tommaso Moraschini, James G. Raftery	The algebraic significance of weak excluded middle laws.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
30	Makoto Fujiwara	Δ 01 variants of the law of excluded middle and related principles.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
30	Nikola Panic, Gian Luca Pozzato	Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle.	CILC	2022	DBLP BibTeX RDF
30	Nicola Olivetti, Nikola Panic, Gian Luca Pozzato	Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together.	AI*IA	2022	DBLP DOI BibTeX RDF
30	Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli	Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.	CSL	2021	DBLP DOI BibTeX RDF
30	Peter Schuster 0001, Daniel Misselbeck-Wessel	Some forms of excluded middle for linear orders.	Math. Log. Q.	2019	DBLP DOI BibTeX RDF
30	Cécilia Pradic, Chad E. Brown	Cantor-Bernstein implies Excluded Middle.	CoRR	2019	DBLP BibTeX RDF
30	Majid Alizadeh, Mohammad Ardeshir	Basic propositional logic and the weak excluded middle.	Log. J. IGPL	2019	DBLP DOI BibTeX RDF
30	Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman	Parametricity, automorphisms of the universe, and excluded middle.	CoRR	2017	DBLP BibTeX RDF
30	Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman	Parametricity, Automorphisms of the Universe, and Excluded Middle.	TYPES	2016	DBLP DOI BibTeX RDF
30	Andrea Sorbi, Sebastiaan A. Terwijn	Generalizations of the Weak Law of the Excluded Middle.	Notre Dame J. Formal Log.	2015	DBLP DOI BibTeX RDF
30	Enric Trillas, Itziar García-Honrado, Settimo Termini	Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.	Int. J. Gen. Syst.	2014	DBLP DOI BibTeX RDF
30	Erik Meijer 0001	The curse of the excluded middle.	Commun. ACM	2014	DBLP DOI BibTeX RDF
30	Erik Meijer 0001	The Curse of the Excluded Middle.	ACM Queue	2014	DBLP DOI BibTeX RDF
30	Chris J. Conidis, Noam Greenberg, Daniel Turetsky	Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle.	Notre Dame J. Formal Log.	2013	DBLP DOI BibTeX RDF
30	Trevor P. Martin	The X-mu representation of fuzzy sets - Regaining the excluded middle.	UKCI	2013	DBLP DOI BibTeX RDF
30	Dragan G. Radojevic	Excluded Middle and Graduation.	SOFA	2012	DBLP DOI BibTeX RDF
30	Nathan Klinedinst	Quantified Conditionals and Conditional Excluded Middle.	J. Semant.	2011	DBLP DOI BibTeX RDF
30	Jeffry L. Hirst, Carl Mummert	Reverse Mathematics and Uniformity in Proofs without Excluded Middle.	Notre Dame J. Formal Log.	2011	DBLP DOI BibTeX RDF
30	Itziar García-Honrado, Enric Trillas	Characterizing the 'Principles' of Non Contradiction and Excluded Middle in [0, 1].	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2010	DBLP DOI BibTeX RDF
30	Krassimir T. Atanassov	On Intuitionistic fuzzy negations and law for Excluded Middle.	IEEE Conf. of Intelligent Systems	2010	DBLP DOI BibTeX RDF
30	John L. Bell	The axiom of choice and the law of excluded middle in weak set theories.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
30	Susumu Hayashi	Mathematics based on incremental learning - Excluded middle and inductive inference.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
30	Bernhard Banaschewski	Excluded Middle versus Choice in a topos.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
30	Claudio Pizzi, Timothy Williamson	Conditional Excluded Middle in Systems of Consequential Implication.	J. Philos. Log.	2005	DBLP DOI BibTeX RDF
30	Enric Trillas, Claudi Alsina, Ana Pradera	Searching for the roots of non-contradiction and excluded-middle.	Int. J. Gen. Syst.	2002	DBLP DOI BibTeX RDF
30	Jonathan P. Seldin	Normalization and excluded middle. I.	Stud Logica	1989	DBLP DOI BibTeX RDF
30	Branislav R. Boricic	A cut-free gentzen-type system for the logic of the weak law of excluded middle.	Stud Logica	1986	DBLP DOI BibTeX RDF
30	N. Goodman, J. Myhill	Choice Implies Excluded Middle.	Math. Log. Q.	1978	DBLP DOI BibTeX RDF
30	Peter Mittelstaedt, Ernst-Walther Stachow	The principle of excluded middle in quantum logic.	J. Philos. Log.	1978	DBLP DOI BibTeX RDF
17	Federico Aschieri, Stefano Berardi	Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.	TLCA	2009	DBLP DOI BibTeX RDF
17	Dirk Pattinson, Lutz Schröder	Generic Modal Cut Elimination Applied to Conditional Logics.	TABLEAUX	2009	DBLP DOI BibTeX RDF
17	Jean-Louis Krivine	A call-by-name lambda-calculus machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Lambda-calculus machine, Control instruction, Curry-Howard correspondence
17	Enric Trillas, Claudi Alsina, Ana Pradera	On a Class of Fuzzy Set Theories.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
17	Wojciech Moczydlowski	A Dependent Set Theory.	LICS	2007	DBLP DOI BibTeX RDF
17	Stefano Berardi, Makoto Tatsuta	Positive Arithmetic Without Exchange Is a Subclassical Logic.	APLAS	2007	DBLP DOI BibTeX RDF
17	Francesco Ciraulo, Giovanni Sambin	Finiteness in a Minimalist Foundation.	TYPES	2007	DBLP DOI BibTeX RDF	minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets
17	Vitaly Eltekov	Checking the Four-Valued Boolean Algebra by the Use PLANNER.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
17	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
17	Jean-Louis Krivine	Typed lambda-calculus in classical Zermelo-Frænkel set theory.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03E40, 03B40, 68N18
17	Jean-Louis Krivine	The Curry-Howard Correspondence in Set Theory.	LICS	2000	DBLP DOI BibTeX RDF
17	Gerald Lüttgen, Michael Mendler	Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.	ICALP	2000	DBLP DOI BibTeX RDF
17	Susumu Hayashi, Masahiro Nakata	Towards Limit Computable Mathematics.	TYPES	2000	DBLP DOI BibTeX RDF
17	Vincent Danos, Jean-Louis Krivine	Disjunctive Tautologies as Synchronisation Schemes.	CSL	2000	DBLP DOI BibTeX RDF
17	Maria Emilia Maietti	About Effective Quotients in Constructive Type Theory.	TYPES	1998	DBLP DOI BibTeX RDF