Search results for "CL–Axiom"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis	Properties of the real line and weak forms of the Axiom of Choice.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
16	Bin He	A high dimensional Open Coloring Axiom.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
16	Yuxi Fu	A schematic axiom for open congruence.	Sci. China Ser. F Inf. Sci.	2005	DBLP DOI BibTeX RDF
16	M. Josune Albizuri, Javier Arin, Juan F. Rubio-Ramirez	An Axiom System for a Value for Games in Partition Function Form.	IGTR	2005	DBLP DOI BibTeX RDF
16	Robert Bonnet, Matatyahu Rubin	A note on well-generated Boolean algebras in models satisfying Martin's axiom.	Discret. Math.	2005	DBLP DOI BibTeX RDF
16	Francis Hsu	Software architecture axiom 1: No moving parts.	Ubiquity	2005	DBLP DOI BibTeX RDF
16	Alexander Soifer	Axiom of choice and chromatic number of Rn.	J. Comb. Theory, Ser. A	2005	DBLP DOI BibTeX RDF
16	Changsung Kang, Jin Tian 0001	Local Markov Property for Models Satisfying Composition Axiom.	UAI	2005	DBLP BibTeX RDF
16	Timothy L. Hinrichs, Michael R. Genesereth	Axiom Schemata as Metalevel Axioms: Model Theory.	AAAI	2005	DBLP BibTeX RDF
16	Xiao-Ping Yang	The Minimization of Axiom Sets Characterizing Generalized Fuzzy Rough Approximation Operators.	FSKD (1)	2005	DBLP DOI BibTeX RDF
16	Youming Xia, Hongli Yin, Lihong Zhao	Multi-Agent System Formal Model Based on Negotiation Axiom System of Temporal Logic.	ICEIS (2)	2005	DBLP BibTeX RDF
16	Juan Dubra, Fabio Maccheroni, Efe A. Ok	Expected utility theory without the completeness axiom.	J. Econ. Theory	2004	DBLP DOI BibTeX RDF
16	Shi-Zhong Bai	The semi-precompactness axiom.	Inf. Sci.	2004	DBLP DOI BibTeX RDF
16	Ji-Huan He	Zu-Geng's axiom vs Cavalieri's theory.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
16	S. K. Acharyya, K. C. Chattopadhyay, Partha Pratim Ghosh	Constructing Banaschewski compactification without Dedekind completeness axiom.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
16	Sheng-Gang Li, Shi-Zhong Bai, Ni Liu	The near SR-compactness axiom in L-topological spaces.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
16	Saharon Shelah	Forcing axiom failure for any lambda > aleph1.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
16	Alexander Soifer, Saharon Shelah	Axiom of choice and chromatic number: examples on the plane.	J. Comb. Theory, Ser. A	2004	DBLP DOI BibTeX RDF
16	Philippe Balbiani	Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection.	Fundam. Informaticae	2003	DBLP BibTeX RDF
16	Lamberto Rondoni, Gary P. Morriss	Large Fluctuations and Axiom-C Structures in Deterministically Thermostatted Systems.	Open Syst. Inf. Dyn.	2003	DBLP DOI BibTeX RDF
16	Juha Honkala	On D0L systems with finite axiom sets.	Acta Cybern.	2003	DBLP BibTeX RDF
16	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
16	Andrea Cantini	The axiom of choice and combinatory logic.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
16	Bernadette Charron-Bost, Robert Cori	A Note on Linearizability and the Global Time Axiom.	Parallel Process. Lett.	2003	DBLP DOI BibTeX RDF
16	Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin	Products of compact spaces and the axiom of choice II.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Michael Rathjen, Robert S. Lubarsky	On the regular extension axiom and its variants.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Gonçalo Gutierres	Sequential topological conditions in in the absence of the axiom of choice.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Olivier Esser	On the axiom of extensionality in the positive set theory.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin	Metric spaces and the axiom of choice.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Horst Herrlich	The axiom of choice holds iff maximal closed filters exist.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis, Eleftherios Tachtsis	On Sequentially Compact Subspaces of ℝ without the Axiom of Choice.	Notre Dame J. Formal Log.	2003	DBLP DOI BibTeX RDF
16	Jinming Fang	H([lambda])-completely Hausdorff axiom on L-topological spaces.	Fuzzy Sets Syst.	2003	DBLP DOI BibTeX RDF
16	Saharon Shelah, Alexander Soifer	Axiom of choice and chromatic number of the plane.	J. Comb. Theory, Ser. A	2003	DBLP DOI BibTeX RDF
16	Geoff Sutcliffe, Alexander Dvorský	Proving Harder Theorems by Axiom Reduction.	FLAIRS	2003	DBLP BibTeX RDF
16	Taradas Bandyopadhyay, Bandyopadhyay Bandyopadhyay, Prasanta K. Pattanaik	Demand Aggregation and the Weak Axiom of Stochastic Revealed Preference.	J. Econ. Theory	2002	DBLP DOI BibTeX RDF
16	Omar De la Cruz, Eric J. Hall, Paul E. Howard, Jean E. Rubin, Adrienne Stanley	Definitions of Compactness and The Axiom of Choice.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
16	David Asperó	A Maximal Bounded Forcing Axiom.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
16	J. M. E. Hyland	Variations on Realizability: Realizing the Propositional Axiom of Choice.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
16	Nejat Anbarci	A simple two-axiom characterization of the Nash solution.	OR Spectr.	2002	DBLP DOI BibTeX RDF
16	Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin	Products of Compact Spaces and the Axiom of Choice.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
16	Tarek Sayed Ahmed	Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.	Stud Logica	2002	DBLP DOI BibTeX RDF
16	Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Iterated revision and the axiom of recovery: a unified treatment via epistemic states	CoRR	2002	DBLP BibTeX RDF
16	Larry Wos, Dolph Ulrich, Branden Fitelson	Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus	CoRR	2002	DBLP BibTeX RDF
16	Leonard Gillman	Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis.	Am. Math. Mon.	2002	DBLP BibTeX RDF
16	Larry Wos, Dolph Ulrich, Branden Fitelson	Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.	J. Autom. Reason.	2002	DBLP DOI BibTeX RDF
16	John K. Slaney	More Proofs of an Axiom of Lukasiewicz.	J. Autom. Reason.	2002	DBLP DOI BibTeX RDF
16	Jochen Wickel, Pablo Alvarado, Peter Dörfler, Thomas Krüger, Karl-Friedrich Kraiss	Axiom - A Modular Visual Object Retrieval System.	KI	2002	DBLP DOI BibTeX RDF
16	Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Iterated revision and the axiom of recovery: a unified treatment via epistemic states.	NMR	2002	DBLP BibTeX RDF
16	Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Iterated revision and the axiom of recovery: A unified treatment via epistemic states.	ECAI	2002	DBLP BibTeX RDF
16	Tomoko Ninomiya, Masao Mukaidono	Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra.	ISMVL	2002	DBLP DOI BibTeX RDF
16	Wilfrid S. Kendall	Symbolic Itô calculus in AXIOM: An ongoing story.	Stat. Comput.	2001	DBLP DOI BibTeX RDF
16	Dan E. Willard	Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
16	Lorenz Halbeisen, Saharon Shelah	Relations between some cardinals in the absence of the Axiom of Choice.	Bull. Symb. Log.	2001	DBLP DOI BibTeX RDF
16	Michael Rathjen	Kripke-Platek Set Theory and the Anti-Foundation Axiom.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
16	Wolfgang Degen	Rigid Unary Functions and the Axiom of Choice.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis, Eleftherios Tachtsis	Compact Metric Spaces and Weak Forms of the Axiom of Choice.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis, Eleftherios Tachtsis	Some Weak Forms of the Axiom of Choice Restricted to the Real Line.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
16	Dorella Bellè, Franco Parlamento	The Decidability of the ∀*∃ Class and the Axiom of Foundation.	Notre Dame J. Formal Log.	2001	DBLP DOI BibTeX RDF
16	Larry Wos	Conquering the Meredith Single Axiom.	J. Autom. Reason.	2001	DBLP DOI BibTeX RDF
16	Olivier Esser	Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
16	Jörg Brendle	Martin's Axiom and the Dual Distributivity Number.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
16	Norbert Brunner, H. Reiju Mihara	Arrow's Theorem, Weglorz' Models and the Axiom of Choice.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
16	Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley	Paracompactness of Metric Spaces and the Axiom of Multiple Choice.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis, Eleftherios Tachtsis	On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	The Compactness of 2R and the Axiom of Choice.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
16	Karl-Heinz Diener	On kappa-hereditary Sets and Consequences of the Axiom of Choice.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
16	David Bennett	A Single Axiom for Set Theory.	Notre Dame J. Formal Log.	2000	DBLP DOI BibTeX RDF
16	Irek Ulidowski	Finite axiom systems for testing preorder and De Simone process languages.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
16	Paul Corazza	The wholeness axiom and Laver sequences.	Ann. Pure Appl. Log.	2000	DBLP DOI BibTeX RDF
16	Eugene W. Stark, Scott A. Smolka	A complete axiom system for finite-state probabilistic processes.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
16	Martin Dunstan	Larch/Aldor: a Larch BISL for AXIOM and Aldor.		2000	RDF
16	Grigori Mints	Cut-Elimination for Simple Type Theory with An Axiom of Choice.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
16	Xudong Luo, Chengqi Zhang	An Axiom Foundation for Uncertain Reasonings in Rule-Based Expert Systems: NT-Algebra.	Knowl. Inf. Syst.	1999	DBLP DOI BibTeX RDF
16	J. Dodu, Marianne Morillon	The Hahn-Banach Property and the Axiom of Choice.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF
16	Vladimir Kanovei, Michael Reeken	Special Model Axiom in Nonstandard Set Theory.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF
16	Herbert A. Colle, Gary B. Reid	Double Trade-off Curves with Different Cognitive Processing Combinations: Testing the Cancellation Axiom of Mental Workload Measurement Theory.	Hum. Factors	1999	DBLP DOI BibTeX RDF
16	Andrzej Szepietowski	There is no complete axiom system for shuffle expressions.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
16	Angelo Gargantini, Dino Mandrioli, Angelo Morzenti	Dealing with Zero-Time Transitions in Axiom Systems.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
16	Stefano Berardi, Marc Bezem, Thierry Coquand	On the Computational Content of the Axiom of Choice.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
16	Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin	Versions of Normality and Some Weak Forms of the Axiom of Choice.	Math. Log. Q.	1998	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.	Math. Log. Q.	1998	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	Extending Independent Sets to Bases and the Axiom of Choice.	Math. Log. Q.	1998	DBLP DOI BibTeX RDF
16	Teodor Rus, James S. Jones	Phrase Parsers from Multi-Axiom Grammars.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
16	Ian E. Pratt, Dominik J. Schoop	A Complete Axiom System for Polygonal Mereotopology of the Real Plane.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
16	Newton C. A. da Costa, Francisco A. Doria	On the existence of certain total recursive functions in nontrivial axiom systems, I	CoRR	1998	DBLP BibTeX RDF
16	Melinda Lombard, Richard Vesley	A Common Axiom Set for Classical and Intuitionistic Plane Geometry.	Ann. Pure Appl. Log.	1998	DBLP DOI BibTeX RDF
16	Joan Bagaria	A Characterization of Martin's Axiom in Terms of Absoluteness.	J. Symb. Log.	1997	DBLP DOI BibTeX RDF
16	Andrzej S. Nowak	On an axiomatization of the banzhaf value without the additivity axiom.	Int. J. Game Theory	1997	DBLP DOI BibTeX RDF
16	Dan E. Willard	The Tangibility Reflection Principle for Self-Verifying Axiom Systems.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
16	Horst Herrlich	Compactness and the axiom of choice.	Appl. Categorical Struct.	1996	DBLP DOI BibTeX RDF
16	Matthias Baaz, Norbert Brunner, Karl Svozil	The Axiom of Choice in Quantum Theory.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
16	Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez	On Overspill Principles and Axiom Schemes for Bounded Formulas.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
16	Dolph Ulrich	The shortest possible length of the longest implicational axiom.	J. Philos. Log.	1996	DBLP DOI BibTeX RDF
16	Lawrence C. Paulson, Krzysztof Grabczewski	Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice.	CoRR	1996	DBLP BibTeX RDF
16	Hubert Frank	A new axiom system of fuzzy logic.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
16	Uri Abraham, Saharon Shelah	Martin's axiom and D21 well-ordering of the reals.	Arch. Math. Log.	1996	DBLP DOI BibTeX RDF
16	Timothy Williamson	Some Admissible Rules in Modal Systems with the Brouwerian Axiom.	Log. J. IGPL	1996	DBLP DOI BibTeX RDF