Search results for "CL–Axiom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Paul E. Howard, Arthur L. Rubin, Jean E. Rubin	Independence Results for Class Forms of the Axiom of Choice.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
16	John A. Kalman	A shortest single axiom for the classical equivalential calculus.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	Awkward axiom-systems.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
16	Stephen A. Cook	Soundness and Completeness of an Axiom System for Program Verification.	SIAM J. Comput.	1978	DBLP DOI BibTeX RDF
16	Motinori Goto, Shinji Kao, Tomoko Ninomiya	Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer.	MVL	1978	DBLP BibTeX RDF
16	Luisa Iturrioz	An axiom system for three-valued Łukasiewicz propositional calculus.	Notre Dame J. Formal Log.	1977	DBLP DOI BibTeX RDF
16	Rolf Schock	A note on the axiom of choice and the continuum hypothesis.	Notre Dame J. Formal Log.	1977	DBLP DOI BibTeX RDF
16	James George Kowalski	Leśniewski's ontology extended with the axiom of choice.	Notre Dame J. Formal Log.	1977	DBLP DOI BibTeX RDF
16	Gabriele Lolli	On Ramsey's theorem and the axiom of choice.	Notre Dame J. Formal Log.	1977	DBLP DOI BibTeX RDF
16	Herbert Hochberg	Properties, abstracts, and the axiom of infinity.	J. Philos. Log.	1977	DBLP DOI BibTeX RDF
16	Joseph P. S. Kung	The core extraction axiom for combinatorial geometries.	Discret. Math.	1977	DBLP DOI BibTeX RDF
16	Ivo Thomas	Axiom sets equivalent to syllogism and Peirce.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
16	Charles C. Davis	A note on the axiom of choice in Leśniewski's ontology.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
16	George T. Ligler	The assignment axiom and programming language design.	ACM Annual Conference	1976	DBLP DOI BibTeX RDF
16	Edmund M. Clarke	Completeness and Incompleteness Theorems for Hoare-like Axiom Systems.		1976	RDF
16	Anna Michaelides Penk	Two Forms of the Axiom of Choice for an Elementary Topos.	J. Symb. Log.	1975	DBLP DOI BibTeX RDF
16	Paul E. Cohen	A Large Power Set Axiom.	J. Symb. Log.	1975	DBLP DOI BibTeX RDF
16	Petr Vopenka, Antonín Sochor	Contributions to the theory of semisets V: On the axiom of general collapse.	Math. Log. Q.	1975	DBLP DOI BibTeX RDF
16	Charles E. Hughes	Sets derived by deterministic systems with axiom.	Math. Log. Q.	1975	DBLP DOI BibTeX RDF
16	Robert Goldblatt	Erratum: "Concerning the proper axiom for S4.04 and some related systems".	Notre Dame J. Formal Log.	1975	DBLP BibTeX RDF
16	Charles C. Davis	An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice.	Notre Dame J. Formal Log.	1975	DBLP DOI BibTeX RDF
16	Charles C. Davis	Erratum: "An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice".	Notre Dame J. Formal Log.	1975	DBLP BibTeX RDF
16	Charles E. Hughes	The general decision problem for Markov algorithms with axiom.	Notre Dame J. Formal Log.	1975	DBLP DOI BibTeX RDF
16	Ivo Thomas	Shorter development of an axiom.	Notre Dame J. Formal Log.	1975	DBLP DOI BibTeX RDF
16	Rufus Bowen	Bernoulli Equilibrium States for Axiom A Diffeomorphisms.	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
16	Ivo Thomas	On Meredith's sole positive axiom.	Notre Dame J. Formal Log.	1974	DBLP DOI BibTeX RDF
16	Takayasu Ito, Shigeru Ando	A Complete Axiom System of Super-Regular Expressions.	IFIP Congress	1974	DBLP BibTeX RDF
16	James S. Johnson	Axiom Systems for First Order Logic with Finitely Many Variables.	J. Symb. Log.	1973	DBLP DOI BibTeX RDF
16	Robert Goldblatt	Concerning the proper axiom for S4.04 and some related systems.	Notre Dame J. Formal Log.	1973	DBLP DOI BibTeX RDF
16	Charles E. Hughes, Wilson E. Singletary	Combinatorial systems with axiom.	Notre Dame J. Formal Log.	1973	DBLP DOI BibTeX RDF
16	Gershon Sageev	An independence result concerning the axiom of choice (תוצאת אי-תלות הקשורה לאקסיומת הבחירה.).		1973	RDF
16	James D. Davis	The Inconsistency of a Certain Axiom System for Set Theory.	J. Symb. Log.	1972	DBLP DOI BibTeX RDF
16	Marie Goldstein	The historical development of group theoretical ideas in connection with Euclid's axiom of congruence.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
16	Melvin Fitting	ε-calculus based axiom systems for some propositional modal logics.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	An abbreviation of Croisot's axiom-system for distributive lattices with I.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
16	Ivor Grattan-Guinness	Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain.	J. Philos. Log.	1972	DBLP DOI BibTeX RDF
16	David Pincus	Support Structures for the Axiom of Choice.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
16	Richard L. Poss	Weak forms of the axiom of constructibility.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	A note on an axiom-system of atomistic mereology.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
16	J. W. de Bakker	Axiom systems for simple assignment statements.	Symposium on Semantics of Algorithmic Languages	1971	DBLP DOI BibTeX RDF
16	Robert E. Clay	The dependence of mereological axiom.	Notre Dame J. Formal Log.	1970	DBLP DOI BibTeX RDF
16	Ivo Thomas	Final word on a shortest implicational axiom.	Notre Dame J. Formal Log.	1970	DBLP DOI BibTeX RDF
16	Nino B. Cocchiarella	A substitution free axiom set for second order logic.	Notre Dame J. Formal Log.	1969	DBLP DOI BibTeX RDF
16	Francis J. Tytus	A theorem for deriving consequences of the axiom of choice.	Notre Dame J. Formal Log.	1967	DBLP DOI BibTeX RDF
16	Czeslaw Lejewski	A single axiom for the mereological notion of proper part.	Notre Dame J. Formal Log.	1967	DBLP DOI BibTeX RDF
16	Michael C. Gemignani	On eliminating an unwanted axiom in the characterization of Rm using topological geometries.	Notre Dame J. Formal Log.	1966	DBLP DOI BibTeX RDF
16	Thomas W. Scharle	Single axiom schemata for D and S.	Notre Dame J. Formal Log.	1966	DBLP DOI BibTeX RDF
16	William J. Frascella	The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice.	Notre Dame J. Formal Log.	1966	DBLP DOI BibTeX RDF
16	Arto Salomaa	Two Complete Axiom Systems for the Algebra of Regular Events.	J. ACM	1966	DBLP DOI BibTeX RDF
16	Alexander Abian, Samuel Lamacchia	Some Consequences of the Axiom of Power-Set.	J. Symb. Log.	1965	DBLP DOI BibTeX RDF
16	Celso de Renna e Souza	A note on continuous games, the notion of strategy and Zermelo's axiom.	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
16	William J. Frascella	A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice.	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
16	William J. Frascella	Corrigendum and addendum to: "A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice".	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	A theorem of Sierpiński on triads and the axiom of choice.	Notre Dame J. Formal Log.	1964	DBLP DOI BibTeX RDF
16	George Goe	Three axiom negation-alternation formulations of the truth-functional calculus.	Notre Dame J. Formal Log.	1964	DBLP DOI BibTeX RDF
16	Thoralf Skolem	Studies on the axiom of comprehension.	Notre Dame J. Formal Log.	1963	DBLP DOI BibTeX RDF
16	David Pager	An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates.	J. Symb. Log.	1962	DBLP DOI BibTeX RDF
16	Takeo Sugihara	The Number of Modalities in T Supplemented by the Axiom CL2pL3p.	J. Symb. Log.	1962	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	A set-theoretical formula equivalent to the axiom of choice.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF
16	Leo Simons	A reduction in the number of independent axiom schemata for S4.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	Certain formulas equivalent to the axiom of choice.	Notre Dame J. Formal Log.	1961	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	A simple formula equivalent to the axiom of choice.	Notre Dame J. Formal Log.	1960	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	A note concerning the axiom of choice.	Notre Dame J. Formal Log.	1960	DBLP DOI BibTeX RDF
16	Thoralf Skolem	Investigations on a comprehension axiom without negation in the defining propositional functions.	Notre Dame J. Formal Log.	1960	DBLP DOI BibTeX RDF
16	Robin O. Gandy	On the Axiom of Extensionality, Part II.	J. Symb. Log.	1959	DBLP DOI BibTeX RDF
16	Joseph R. Shoenfield	Open Sentences and the Induction Axiom.	J. Symb. Log.	1958	DBLP DOI BibTeX RDF
16	Alan Ross Anderson	Independent Axiom Schemata for Von Wright's M.	J. Symb. Log.	1957	DBLP DOI BibTeX RDF
16	Robin O. Gandy	On the Axiom of Extensionality-Part I.	J. Symb. Log.	1956	DBLP DOI BibTeX RDF
16	Elliott Mendelson	The Independence of a Weak Axiom of Choice.	J. Symb. Log.	1956	DBLP DOI BibTeX RDF
16	Alan Ross Anderson	Independent Axiom Schemata for S5.	J. Symb. Log.	1956	DBLP DOI BibTeX RDF
16	Vaclav Edvard Benes	On the Consistency of an Axiom of Enumerability.	J. Symb. Log.	1955	DBLP DOI BibTeX RDF
16	George E. Collins	Distributivity and An Axiom of Choice.	J. Symb. Log.	1954	DBLP DOI BibTeX RDF
16	Theodore Hailperin	Remarks on Identity and Description in First-Order Axiom Systems.	J. Symb. Log.	1954	DBLP DOI BibTeX RDF
16	J. Richard Büchi	Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.	J. Symb. Log.	1953	DBLP DOI BibTeX RDF
16	Willard Van Orman Quine	On omega;-Inconsistency and a So-Called Axiom of Infinity.	J. Symb. Log.	1953	DBLP DOI BibTeX RDF
16	J. Barkley Rosser	The Axiom of Infinity in Quine's New Foundations.	J. Symb. Log.	1952	DBLP DOI BibTeX RDF
16	J. Barkley Rosser, Atwell R. Turquette	Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.	J. Symb. Log.	1951	DBLP DOI BibTeX RDF
16	John R. Myhill	Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.	J. Symb. Log.	1951	DBLP DOI BibTeX RDF
16	J. Barkley Rosser, Atwell R. Turquette	Axiom Schemes for M-Valued Propositional Calculi.	J. Symb. Log.	1945	DBLP DOI BibTeX RDF
10	Ebrahim Bagheri, Faezeh Ensan	Evidential reasoning for the treatment of incoherent terminologies.	SAC	2010	DBLP DOI BibTeX RDF	debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning
10	Vladimir I. Danilov, Gleb A. Koshevoy	Choice Functions and Extensive Operators.	Order	2009	DBLP DOI BibTeX RDF	Pre-topology, Anti-matroid, Exchange and anti-exchange conditions, Matroid, Closure operator, Neighborhood system, Direct image
10	Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami	Cognitive Radio game for secondary spectrum access problem.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
10	Michael A. Cusumano	Technology strategy and management - Strategies for difficult (and Darwinian) economic times.	Commun. ACM	2009	DBLP DOI BibTeX RDF
10	Ren-June Wang	Knowledge, Time, and Logical Omniscience.	WoLLIC	2009	DBLP DOI BibTeX RDF
10	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau	Packaging Mathematical Structures.	TPHOLs	2009	DBLP DOI BibTeX RDF	Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq
10	Delphine Longuet, Marc Aiguier	Integration Testing from Structured First-Order Specifications via Deduction Modulo.	ICTAC	2009	DBLP DOI BibTeX RDF
10	Federico Aschieri, Stefano Berardi	Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.	TLCA	2009	DBLP DOI BibTeX RDF
10	Takeshi Tsukada, Atsushi Igarashi	A Logical Foundation for Environment Classifiers.	TLCA	2009	DBLP DOI BibTeX RDF
10	Michael Karlinger, Millist W. Vincent, Michael Schrefl	Inclusion Dependencies in XML: Extending Relational Semantics.	DEXA	2009	DBLP DOI BibTeX RDF
10	Kuo-pao Yang, Wendy Zhang, Frederick E. Petry	Building content dictionaries for geometric algebra in OMDoc format.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	OMDoc, content dictionaries, documentation semantics, XML, XHTML, geometric algebra
10	Walter Dean, Hidenori Kurokawa	Knowledge, proof and the Knower.	TARK	2009	DBLP DOI BibTeX RDF
10	Keith Devlin	Modeling Real Reasoning.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
10	Kai Brünnler, Lutz Straßburger	Modular Sequent Systems for Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
10	Ji Ma 0001, Mehmet A. Orgun, Abdul Sattar 0001	Theories of Trust for Communication Protocols.	ATC	2009	DBLP DOI BibTeX RDF
10	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
10	Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001, Bruno Woltzenlogel Paleo	A Clausal Approach to Proof Analysis in Second-Order Logic.	LFCS	2009	DBLP DOI BibTeX RDF
10	Ross Duncan, Simon Perdrix	Graph States and the Necessity of Euler Decomposition.	CiE	2009	DBLP DOI BibTeX RDF	graphical calculi, quantum computation, monoidal categories
10	Suzana Andova, Sonja Georgievska	On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF
10	Lijun Shan, Hong Zhu 0002	Semantics of Metamodels in UML.	TASE	2009	DBLP DOI BibTeX RDF