Search results for "Extensionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Marc Bezem	An Improved Extensionality Criterion for Higher-Order Logic Programs.	CSL	2001	DBLP DOI BibTeX RDF
69	Christoph Benzmüller	Extensional Higher-Order Paramodulation and RUE-Resolution.	CADE	1999	DBLP DOI BibTeX RDF
64	Pierluigi Minari	Analytic combinatory calculi and the elimination of transitivity.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Extensionality, Elimination of transitivity, Equational logic, Combinatory logic
53	Teng Ping, He Ping	Characteristics of Network Non-optimum and Extensionality Security Mode.	IITSI	2010	DBLP DOI BibTeX RDF	non-optimum system, non-optimum and security, extensionality networks function, self-organization approach, network security
47	Martina Danková, Irina Perfilieva	Logical approximation II.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Disjunctive and conjunctive normal forms, BL-logic, Extensionality, Fuzzy logic, Approximation
47	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
41	Shunsuke Yatabe, Hiroyuki Inaoka	Vagueness and Extensionality.	FSKD (1)	2005	DBLP DOI BibTeX RDF
41	Ulrich Kohlenbach	A note on Spector's quantifier-free rule of extensionality.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F07, 03F10, 03F50, 03F35
35	Thorsten Altenkirch, Conor McBride, Wouter Swierstra	Observational equality, now!	PLPV	2007	DBLP DOI BibTeX RDF	type theory, equality
35	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
35	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
35	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.	FroCoS	2005	DBLP DOI BibTeX RDF
35	M. Randall Holmes	Paradoxes in Double Extension Set Theories.	Stud Logica	2004	DBLP DOI BibTeX RDF	double extension set theory, Quine ordered pair, universal set
35	Joëlle Despeyroux, André Hirschowitz	Higher-Order Abstract Syntax with Induction in Coq.	LPAR	1994	DBLP DOI BibTeX RDF
24	Francesco Dagnino, Fabio Pasquali	Quotients and Extensionality in Relational Doctrines.	FSCD	2023	DBLP DOI BibTeX RDF
24	Dominik Pichler, Xavier Parent	Perspectival Obligation and Extensionality in an Alethic-Deontic Setting.	DEON	2023	DBLP BibTeX RDF
24	Benno van den Berg, Robert Paßmann	Converse extensionality and apartness.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
24	Niki Vazou, Michael Greenberg 0002	How to safely use extensionality in Liquid Haskell.	Haskell	2022	DBLP DOI BibTeX RDF
24	Loïc Pujet	Computing with Extensionality Principles in Type Theory. (Calculer avec des Principes d'Extensionnalité en Théorie des Types).		2022	RDF
24	Gil Sagi	Extensionality and logicality.	Synth.	2021	DBLP DOI BibTeX RDF
24	Jeroen Smid	Extensionality for fusions and pluralities.	Synth.	2021	DBLP DOI BibTeX RDF
24	Niki Vazou, Michael Greenberg 0002	Functional Extensionality for Refinement Types.	CoRR	2021	DBLP BibTeX RDF
24	Benno van den Berg, Robert Paßmann	Converse extensionality and apartness.	CoRR	2021	DBLP BibTeX RDF
24	Jinming Fang, Yueli Yue	Extensionality and E-connectedness in the category of ⊤-convergence spaces.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
24	Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic	Abstract extensionality: on the properties of incomplete abstract interpretations.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
24	Hans-Peter Leeb	A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic.	J. Philos. Log.	2020	DBLP DOI BibTeX RDF
24	Arnon Avron, Anna Zamansky	Paraconsistency, self-extensionality, modality.	Log. J. IGPL	2020	DBLP DOI BibTeX RDF
24	Arnold Koslow	The modality and non-extensionality of the quantifiers.	Synth.	2019	DBLP DOI BibTeX RDF
24	Daniil Frumin, Benno van den Berg	A homotopy-theoretic model of function extensionality in the effective topos.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
24	Michele Basaldella	Lambda Congruences and Extensionality.	CoRR	2019	DBLP BibTeX RDF
24	Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky	Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
24	Dionís Boixader, Jordi Recasens	Extensionality with Respect to Indistinguishability Operators.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2018	DBLP DOI BibTeX RDF
24	Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky	Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture.	CoRR	2018	DBLP BibTeX RDF
24	Zlatan Damnjanovic	Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality.	Bull. Symb. Log.	2017	DBLP DOI BibTeX RDF
24	Daniil Frumin, Benno van den Berg	A homotopy-theoretic model of function extensionality in the effective topos.	CoRR	2017	DBLP BibTeX RDF
24	Philip Johnson-Freyd, Paul Downen, Zena M. Ariola	Call-by-name extensionality and confluence.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
24	Fabio Pasquali	Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
24	Robin Adams 0001, Marc Bezem, Thierry Coquand	A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic.	TYPES	2016	DBLP DOI BibTeX RDF
24	Alberto Casagrande, Carla Piazza, Alberto Policriti	Is Hyper-extensionality Preservable Under Deletions of Graph Elements?	ICTCS	2015	DBLP DOI BibTeX RDF
24	William J. Greenberg	Extensionality, Proper Classes, and Quantum Non-Individuality.	Comput. Sci. J. Moldova	2015	DBLP BibTeX RDF
24	Antonín Dvorák, Michal Holcapek	Type 〈1, 1〉 fuzzy quantifiers determined by fuzzy measures on residuated lattices. Part III. Extension, conservativity and extensionality.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
24	Giulio Manzonetto, Domenico Ruoppolo	Relational Graph Models, Taylor Expansion and Extensionality.	MFPS	2014	DBLP DOI BibTeX RDF
24	Mark Sioen, Tom Vroegrijk	Cartesian Closedness, Extensionality and Bornological Universes.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
24	Andrew Polonsky	Extensionality of lambda-.	CoRR	2014	DBLP BibTeX RDF
24	Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu	Hyper-Extensionality and One-Node Elimination on Membership Graphs.	CILC	2014	DBLP BibTeX RDF
24	Andrew Polonsky	Extensionality of lambda-*.	TYPES	2014	DBLP DOI BibTeX RDF
24	Maria Semeniuk-Polkowska, Lech Polkowski	On a Notion of Extensionality for Artifacts.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
24	Dirk Draheim	On the Trade-Off Between Flexibility and Extensionality in the Decomposition of Business Process Models.	ERP Future	2013	DBLP DOI BibTeX RDF
24	Lech Polkowski, Maria Semeniuk-Polkowska	On a Notion of Extensionality for Artifacts.	CS&P	2012	DBLP BibTeX RDF
24	Manfred Schmidt-Schauß, David Sabel, Elena Machkasova	Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
24	Kentaro Sato	The strength of extensionality II - Weak weak set theories without infinity.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
24	Zach Weber	Extensionality and Restriction in Naive Set Theory.	Stud Logica	2010	DBLP DOI BibTeX RDF
24	Kentaro Sato	The strength of extensionality I - weak weak set theories with infinity.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
24	Luís Caires, Hugo Torres Vieira	Extensionality of Spatial Observations in Distributed Systems.	EXPRESS	2006	DBLP DOI BibTeX RDF
24	Benedetto Intrigila, Richard Statman	Some results on extensionality in lambda calculus.	Ann. Pure Appl. Log.	2005	DBLP DOI BibTeX RDF
24	Nicolas Oury	Extensionality in the Calculus of Constructions.	TPHOLs	2005	DBLP DOI BibTeX RDF
24	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase	Higher-order semantics and extensionality.	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
24	Martina Danková	Generalized extensionality of fuzzy relations.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
24	Sanjiang Li, Mingsheng Ying	Extensionality of the RCC8 Composition Table.	Fundam. Informaticae	2003	DBLP BibTeX RDF
24	Yael Sharvit	Trying to be Progressive: the Extensionality of Try.	J. Semant.	2003	DBLP DOI BibTeX RDF
24	Roland Hinnion, Thierry Libert	Positive abstraction and extensionality.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
24	Olivier Esser	On the axiom of extensionality in the positive set theory.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
24	Martina Danková	Extensionality and continuity.	EUSFLAT Conf.	2003	DBLP BibTeX RDF
24	Silvio Valentini	Extensionality Versus Constructivity.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
24	Kwangkeun Yi, Hyunjun Eo	Static Extensionality Checking for Lambda-Definable Functions Over Lattices.	APLAS	2002	DBLP BibTeX RDF
24	Frank Pfenning	Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory.	LICS	2001	DBLP DOI BibTeX RDF
24	Davide Sangiorgi	Extensionality and Intensionality of the Ambient Logics.	POPL	2001	DBLP DOI BibTeX RDF
24	Simona Ronchi Della Rocca	Operational semantics and extensionality.	PPDP	2000	DBLP DOI BibTeX RDF
24	Marc Bezem	Extensionality of Simply Typed Logic Programs.	ICLP	1999	DBLP BibTeX RDF
24	Christoph Benzmüller	Equality and extensionality in automated higher order theorem proving.		1999	RDF
24	Dionís Boixader, Joan Jacas	Extensionality based approximate reasoning.	Int. J. Approx. Reason.	1998	DBLP DOI BibTeX RDF
24	Daniel Dzierzgowski	Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality.	Stud Logica	1998	DBLP DOI BibTeX RDF
24	Arthur H. M. ter Hofstede, Theo P. van der Weide	Deriving Identity from Extensionality.	Int. J. Softw. Eng. Knowl. Eng.	1998	DBLP DOI BibTeX RDF
24	Michael Gavrilovich	Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension.	LFCS	1997	DBLP DOI BibTeX RDF
24	Pierre Valarcher	Intensionality versus Extensionality and Primitive Recursion.	ASIAN	1996	DBLP DOI BibTeX RDF
24	Adolfo Piperno	Normalization and Extensionality (Extended Abstract)	LICS	1995	DBLP DOI BibTeX RDF
24	Willard Van Orman Quine	Promoting extensionality.	Synth.	1994	DBLP DOI BibTeX RDF
24	Roland Hinnion	Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic.	Notre Dame J. Formal Log.	1994	DBLP DOI BibTeX RDF
24	Adolfo Piperno, Simona Ronchi Della Rocca	Type Inference and Extensionality	LICS	1994	DBLP DOI BibTeX RDF
24	Martin Hofmann 0001	Elimination of Extensionality in Martin-Löf Type Theory.	TYPES	1993	DBLP DOI BibTeX RDF
24	Brian T. Howard	Fixed points and extensionality in typed functional programming languages.		1992	RDF
24	Pierre-Louis Curien, Giorgio Ghelli	Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=.	TACS	1991	DBLP DOI BibTeX RDF
24	Roland Hinnion	Extensionality in Zermelo-Fraenkel Set Theory.	Math. Log. Q.	1986	DBLP DOI BibTeX RDF
24	Lloyd Humberstone	Extensionality in sentence position.	J. Philos. Log.	1986	DBLP DOI BibTeX RDF
24	Mitsuru Yasuhara	Extensionality in Bernays set theory.	Notre Dame J. Formal Log.	1984	DBLP DOI BibTeX RDF
24	Michael von Rimscha	Universality and strong extensionality.	Arch. Math. Log.	1981	DBLP DOI BibTeX RDF
24	R. Hindley, G. Longo	Lambda-Calculus Models and Extensionality.	Math. Log. Q.	1980	DBLP DOI BibTeX RDF
24	Philip Hugly	Reflections on an extensionality theorem.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
24	Karel Lambert	Predication and extensionality.	J. Philos. Log.	1974	DBLP DOI BibTeX RDF
24	Peter B. Andrews	General Models and Extensionality.	J. Symb. Log.	1972	DBLP DOI BibTeX RDF
24	Ross T. Brady	The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
24	Ross T. Brady	The consistency of the axioms of abstraction and extensionality in a three-valued logic.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
24	Robin O. Gandy	On the Axiom of Extensionality, Part II.	J. Symb. Log.	1959	DBLP DOI BibTeX RDF
24	Robin O. Gandy	On the Axiom of Extensionality-Part I.	J. Symb. Log.	1956	DBLP DOI BibTeX RDF
17	Andreas Lochbihler	Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
17	Arnon Avron	A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
17	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Rewriting and Call-Time Choice: The HO Case.	FLOPS	2008	DBLP DOI BibTeX RDF
17	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase	Cut-Simulation in Impredicative Logics.	IJCAR	2006	DBLP DOI BibTeX RDF
17	Philippe Besnard	Remedying Inconsistent Sets of Premises.	ECSQARU	2005	DBLP DOI BibTeX RDF
17	Ulrich Kohlenbach	Proof Mining in Functional Analysis.	CiE	2005	DBLP DOI BibTeX RDF