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 |
|