Search results for "conservativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Mohammad Reza Mousavi 0001, Michel A. Reniers	Orthogonal Extensions in Structural Operational Semantics.	ICALP	2005	DBLP DOI BibTeX RDF	Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
73	Mario Chiari, Jan Krajícek	Lifting independence results in bounded arithmetic.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
42	Robert Saxon Milnikel	Conservativity for Logics of Justified Belief.	LFCS	2009	DBLP DOI BibTeX RDF
37	Sara Negri	Sequent calculus proof theory of intuitionistic apartness and order relations.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
37	Thierry Coquand	Two applications of Boolean models.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03F55, 03F65, 03G05
27	Bernardo Cockburn, Haiying Wang 0009	The Computation of a Locally Conservative Stress for the Continuous Galerkin Method for Compressible Linearly Elastic Materials.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Continuous Galerkin methods, Linear elasticity, Local conservativity
27	Peter Buneman, James Cheney, Stijn Vansummeren	On the expressiveness of implicit provenance in query and update languages.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	nested relational calculus, nested update language, Provenance, conservativity
27	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	monad algebra, nested-relational algebra, XML, complexity, XQuery, expressiveness, conservativity, Complex values
27	Sandip Ray	Quantification in tail-recursive function definitions.	ACL2	2006	DBLP DOI BibTeX RDF	formal methods, logic, ACL2, conservativity, skolemization
24	Christian Horvat, Jean-Pascal Pfister	On gauge freedom, conservativity and intrinsic dimensionality estimation in diffusion models.	CoRR	2024	DBLP DOI BibTeX RDF
24	Mattias Granberg Olsson, Graham E. Leigh	Revisiting the conservativity of fixpoints over intuitionistic arithmetic.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
24	Daniël Otten, Benno van den Berg	Conservativity of Type Theory over Higher-Order Arithmetic.	CSL	2024	DBLP DOI BibTeX RDF
24	Matteo Spadetto	A conservativity result for homotopy elementary types in dependent type theory.	CoRR	2023	DBLP DOI BibTeX RDF
24	Benno van den Berg, Daniël Otten	Conservativity of Type Theory over Higher-order Arithmetic.	CoRR	2023	DBLP DOI BibTeX RDF
24	Rémy Cerda, Lionel Vaux Auclair	How To Play The Accordion. On the (Non-)Conservativity of the Reduction Induced by the Taylor Approximation of λ-Terms.	CoRR	2023	DBLP DOI BibTeX RDF
24	Michael Rothammer, Jee-Hwan Ryu	Error-Domain Conservativity Control to Transparently Increase the Stability Range of Time-Discretized Controllers.	ICRA	2023	DBLP DOI BibTeX RDF
24	Yahia Atig, Ahmed Zahaf, Djelloul Bouchiha, Mimoun Malki	Alignment Conservativity Under the Ontology Change.	J. Inf. Technol. Res.	2022	DBLP DOI BibTeX RDF
24	Richard Zuber	Anaphoric Conservativity.	J. Log. Lang. Inf.	2022	DBLP DOI BibTeX RDF
24	Cauã Roca Antunes, Alexandre Rademaker, Mara Abel	A faster and less aggressive algorithm for correcting conservativity violations in ontology alignments.	Appl. Ontology	2021	DBLP DOI BibTeX RDF
24	Raphaèle Herbin, Jean-Claude Latché, Sébastian Minjeaud, Nicolas Therme	Conservativity and weak consistency of a class of staggered finite volume methods for the Euler equations.	Math. Comput.	2021	DBLP DOI BibTeX RDF
24	Sohei Iwata, Taishi Kurahashi	Topological semantics of conservativity and interpretability logics.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
24	Tore Fjetland Øgaard	Boolean negation and non-conservativity III: the Ackermann constant.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
24	Tore Fjetland Øgaard	Boolean negation and non-conservativity I: Relevant modal logics.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
24	Tore Fjetland Øgaard	Boolean negation and non-conservativity II: The variable-sharing property.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
24	Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný	Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.	J. Comput. Syst. Sci.	2020	DBLP DOI BibTeX RDF
24	Richard Zuber, Edward L. Keenan	A Note on Conservativity.	J. Semant.	2019	DBLP DOI BibTeX RDF
24	Raphaèle Herbin, Jean-Claude Latché, Sébastian Minjeaud, Nicolas Therme	Conservativity And Weak Consistency Of A Class Of Staggered Finite Volume Methods For The Euler Equations.	CoRR	2019	DBLP BibTeX RDF
24	Richard Zuber	Weak Conservativity.	WoLLIC	2019	DBLP DOI BibTeX RDF
24	Cauã Roca Antunes, Alexandre Rademaker, Mara Abel	A Category-theoretic Approach for the Detection of Conservativity Violations in Ontology Alignments.	ONTOBRAS	2019	DBLP BibTeX RDF
24	Ondrej Kuncar, Andrei Popescu 0001	Safety and conservativity of definitions in HOL and Isabelle/HOL.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
24	Kai von Fintel, Edward L. Keenan	Determiners, Conservativity, Witnesses.	J. Semant.	2018	DBLP DOI BibTeX RDF
24	Antonio Montalbán, Richard A. Shore	Conservativity of Ultrafilters over Subsystems of second order Arithmetic.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
24	Jeffrey R. Schatz	On the Status of Reflection and Conservativity in Replacement Theories of Truth.	Notre Dame J. Formal Log.	2018	DBLP DOI BibTeX RDF
24	Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný	Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.	CoRR	2018	DBLP BibTeX RDF
24	Vishwali Mhasawade, Ildikó Emese Szabó, Melanie Tosik, Sheng-Fu Wang	Neural Networks and Quantifier Conservativity: Does Data Distribution Affect Learnability?	CoRR	2018	DBLP BibTeX RDF
24	Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini	Minimizing conservativity violations in ontology alignments: algorithms and evaluation.	Knowl. Inf. Syst.	2017	DBLP DOI BibTeX RDF
24	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
24	Sérgio Marcelino, Carlos Caleiro	On the characterization of fibred logics, with applications to conservativity and finite-valuedness.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
24	Lev D. Beklemishev	On the Reflection Calculus with Partial Conservativity Operators.	WoLLIC	2017	DBLP DOI BibTeX RDF
24	Tomasz Polacik	A Semantic Approach to Conservativity.	Stud Logica	2016	DBLP DOI BibTeX RDF
24	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.	CoRR	2016	DBLP BibTeX RDF
24	Graham E. Leigh	Conservativity for Theories of Compositional Truth via Cut Elimination.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
24	Ali Assaf 0002	Conservativity of embeddings in the lambda Pi calculus modulo rewriting (long version).	CoRR	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	Ali Assaf 0002	Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting.	TLCA	2015	DBLP DOI BibTeX RDF
24	Philippe de Groote	On Logical Relations and Conservativity.	NLCS@ICALP/LICS	2015	DBLP DOI BibTeX RDF
24	Harald Andreas Bastiaanse	The Intensional Many - Conservativity Reclaimed.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
24	Alessandro Solimando	Detecting and Correcting Conservativity Principle Violations in Ontology Mappings.	ISWC (2)	2014	DBLP DOI BibTeX RDF
24	Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini	Detecting and Correcting Conservativity Principle Violations in Ontology-to-Ontology Mappings.	ISWC (2)	2014	DBLP DOI BibTeX RDF
24	Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini	A Multi-strategy Approach for Detecting and Correcting Conservativity Principle Violations in Ontology Alignments.	OWLED	2014	DBLP BibTeX RDF
24	Tim Hunter, Jeffrey Lidz	Conservativity and Learnability of Determiners.	J. Semant.	2013	DBLP DOI BibTeX RDF
24	Graham E. Leigh	Conservativity for theories of compositional truth via cut elimination.	CoRR	2013	DBLP BibTeX RDF
24	Livio Robaldo	Conservativity: a necessary property for the maximization of witness sets.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
24	Manfred Schmidt-Schauß, Elena Machkasova, David Sabel	Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings.	RTA	2013	DBLP DOI BibTeX RDF
24	Mihai Codescu, Till Mossakowski, Christian Maeder	Checking Conservativity with Hets.	CALCO	2013	DBLP DOI BibTeX RDF
24	Robert Saxon Milnikel	Conservativity for logics of justified belief: Two approaches.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
24	Roman Kuznets, Thomas Studer	Justifications, Ontology, and Conservativity.	Advances in Modal Logic	2012	DBLP BibTeX RDF
24	Per Lindström	A theorem on partial conservativity in arithmetic.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
24	Timothy J. Carlson	On the conservativity of the axiom of choice over set theory.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
24	Xian Zhang 0002, Xiangyu Gao, Haiyan Wu	A simple and elementary proof of the non-conservativity theorem of Fang, Lin and Rotea.	IMA J. Math. Control. Inf.	2010	DBLP DOI BibTeX RDF
24	Masahiro Hamano, Ryo Takemura	A phase semantics for polarized linear logic and second order conservativity.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
24	Jacek Kuska, Jacek Leluk, Bogdan Lesyng	Talana: a novel application for protein variability/conservativity calculation.	Bio Algorithms Med Syst.	2010	DBLP BibTeX RDF
24	Richard Zuber	Generalising Conservativity.	WoLLIC	2010	DBLP DOI BibTeX RDF
24	Robert Goldblatt	Conservativity of Heyting Implication over Relevant Quantification.	Rev. Symb. Log.	2009	DBLP DOI BibTeX RDF
24	Melvin Fitting	Justification logics, logics of knowledge, and conservativity.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
24	Oliver Kutz, Till Mossakowski	Conservativity in Structured Ontologies.	ECAI	2008	DBLP DOI BibTeX RDF
24	Melvin Fitting	Explicit Logics of Knowledge and Conservativity.	ISAIM	2008	DBLP BibTeX RDF
24	Evangelia Antonakos	Justified and Common Knowledge: Limited Conservativity.	LFCS	2007	DBLP DOI BibTeX RDF	justified knowledge, Artemov, conservative, common knowledge
24	Oliver Kutz, Till Mossakowski	Modules in Transition - Conservativity, Composition, and Colimits.	WoMO	2007	DBLP BibTeX RDF
24	Steven Obua	Checking Conservativity of Overloaded Definitions in Higher-Order Logic.	RTA	2006	DBLP DOI BibTeX RDF
24	Jarmo Malinen	Conservativity and Time-Flow Invertibility of Boundary Control Systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
24	Stefano Berardi	A generalization of a conservativity theorem for classical versus intuitionistic arithmetic.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
24	Cornelis A. Middelburg	An alternative formulation of operational conservativity with binding terms.	J. Log. Algebraic Methods Program.	2003	DBLP DOI BibTeX RDF
24	Karl Meinke	Proof theory of higher-order equations: conservativity, normal forms and term rewriting.	J. Comput. Syst. Sci.	2003	DBLP DOI BibTeX RDF
24	Russell Impagliazzo, Jan Krajícek	A Note on Conservativity Relations among Bounded Arithmetic Theories.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
24	Zhaohui Luo	Coercion completion and conservativity in coercive subtyping.	Ann. Pure Appl. Log.	2001	DBLP DOI BibTeX RDF
24	Thierry Coquand, Martin Hofmann 0001	A new method for establishing conservativity of classical systems over their intuitionistic version.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
24	Fangmin Song, Yuechen Qian	A syntactic proof of the conservativity of λω over λ2.	J. Comput. Sci. Technol.	1999	DBLP DOI BibTeX RDF
24	Anne Preller, Patrice Duroux	Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
24	M. P. A. Sellink	On the Conservativity of Leibniz Equality.	Int. J. Found. Comput. Sci.	1998	DBLP DOI BibTeX RDF
24	Martin Hofmann 0001	Conservativity of Equality Reflection over Intensional Type Theory.	TYPES	1995	DBLP DOI BibTeX RDF
24	Leonid Libkin, Limsoon Wong	Conservativity of Nested Relational Calculi with Internal Generic Functions.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
24	Giorgi Japaridze	A Simple Proof of Arithmetical Completeness for Π1-conservativity Logic.	Notre Dame J. Formal Log.	1994	DBLP DOI BibTeX RDF
24	Val Tannen, Albert R. Meyer	Conservativity of Equational Theories in Typed Lambda Calculi.	Fundam. Informaticae	1993	DBLP BibTeX RDF
24	Herman Geuvers	Conservativity between Logics and Typed lambda Calculi.	TYPES	1993	DBLP DOI BibTeX RDF
24	Petr Hájek 0001, Franco Montagna	The logic ofII1-conservativity continued.	Arch. Math. Log.	1992	DBLP DOI BibTeX RDF
24	Albert Visser	On the Σ10-Conservativity of Σ10-Completeness.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
24	B. Z. Kaplan, D. Yardeni	Development of a new stabilized four-phase oscillator based on partial conservativity.	Int. J. Circuit Theory Appl.	1991	DBLP DOI BibTeX RDF
24	Petr Hájek 0001, Franco Montagna	The logic of π1-conservativity.	Arch. Math. Log.	1990	DBLP DOI BibTeX RDF
18	Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Frank Piessens	Security Monitor Inlining for Multithreaded Java.	ECOOP	2009	DBLP DOI BibTeX RDF
18	Sergiu Bursuc, Hubert Comon-Lundh	Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.	RTA	2009	DBLP DOI BibTeX RDF
18	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Enriching an Effect Calculus with Linear Types.	CSL	2009	DBLP DOI BibTeX RDF
18	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
18	Kentaro Kikuchi	Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.	CiE	2007	DBLP DOI BibTeX RDF	?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
18	Lutz Schröder	Bootstrapping Types and Cotypes in HasCASL.	CALCO	2007	DBLP DOI BibTeX RDF
18	Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers	Timing the Untimed: Terminating Successfully While Being Conservative.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
18	James Cheney	A Simpler Proof Theory for Nominal Logic.	FoSSaCS	2005	DBLP DOI BibTeX RDF
18	Piotr Hoffman	Union of Equational Theories: An Algebraic Approach.	RTA	2005	DBLP DOI BibTeX RDF
18	Sara Negri, Jan von Plato, Thierry Coquand	Proof-theoretical analysis of order relations.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
18	Joseph A. Goguen, Grigore Rosu	Composing Hidden Information Modules over Inclusive Institutions.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF