Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Helena Rasiowa	Axiomatization and completeness of uncountably valued approximation logic.	Stud Logica	1994	DBLP DOI BibTeX RDF
17	Beata Bugajska-Jaszczolt, Tadeusz Prucnal	Axiomatization of the Logic Determined by the System of Natural Numbers with Identity.	Reports Math. Log.	1994	DBLP BibTeX RDF
17	Marcelo P. Fiore, Gordon D. Plotkin	An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC	LICS	1994	DBLP DOI BibTeX RDF
17	S. K. Michael Wong, Zhiwei Wang	On Axiomatization of Probabilistic Conditional Independencies.	UAI	1994	DBLP BibTeX RDF
17	Isidore Fleischer	Completeness of the Infinitary Polyadic Axiomatization.	Math. Log. Q.	1993	DBLP DOI BibTeX RDF
17	Igor Walukiewicz	Gentzen-Type Axiomatization for PAL.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
17	Bezalel Peleg	An Axiomatization of the Core of Market Games: A Correction.	Math. Oper. Res.	1993	DBLP DOI BibTeX RDF
17	Balázs Biró, Ildikó Sain	Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics.	Ann. Pure Appl. Log.	1993	DBLP DOI BibTeX RDF
17	Rob J. van Glabbeek	A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.	MFCS	1993	DBLP DOI BibTeX RDF
17	Douglas R. Busch	A Sequent Axiomatization of Three-valued Logic with Two Negations.	LPNMR	1993	DBLP BibTeX RDF
17	C. Lopez, Jean-Michel Morel	Axiomatization of shape analysis and application to texture hyperdiscrimination.	CVPR	1993	DBLP DOI BibTeX RDF
17	Serenella Cerrito	A Linear Axiomatization of Negation as Failure.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
17	Jozef Hooman, S. Ramesh 0001, Willem P. de Roever	A Compositional Axiomatization of Statecharts.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
17	Kosta Dosen	The first axiomatization of relevant logic.	J. Philos. Log.	1992	DBLP DOI BibTeX RDF
17	Mark Reynolds 0001	An Axiomatization for Until and Since over the Reals without the IRR Rule.	Stud Logica	1992	DBLP DOI BibTeX RDF
17	Anil Seth	There is No Recursive Axiomatization for Feasible Functionals of Type~2	LICS	1992	DBLP DOI BibTeX RDF
17	James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li	On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation.	DBSec	1992	DBLP BibTeX RDF
17	Michal Krynicki, Hans-Peter Tuschik	An Axiomatization of the Logic with the Rough Quantifier.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
17	Shin'ichi Ykotota	Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
17	S. K. Michael Wong, Yiyu Yao, Peter Bollmann, H. C. Burger	Axiomatization of qualitative belief structure.	IEEE Trans. Syst. Man Cybern.	1991	DBLP DOI BibTeX RDF
17	Roger D. Maddux	The origin of relation algebras in the development and axiomatization of the calculus of relations.	Stud Logica	1991	DBLP DOI BibTeX RDF
17	Robert F. Stärk	A Complete Axiomatization of the Three-Valued Completion of Logic Programs.	J. Log. Comput.	1991	DBLP DOI BibTeX RDF
17	Dino Karabeg, Victor Vianu	Simplification Rules and Complete Axiomatization for Relational Update Transactions.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	performance
17	Don Pigozzi	Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.	SIAM J. Comput.	1991	DBLP DOI BibTeX RDF
17	Yong Sun	Axiomatization of Calculus of Constructions.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
17	Zoltán Ésik	A note on the axiomatization of iteration theories.	Acta Cybern.	1990	DBLP BibTeX RDF
17	Michiel van Lambalgen	The Axiomatization of Randomness.	J. Symb. Log.	1990	DBLP DOI BibTeX RDF
17	Andrzej Zbrzezny	The hilbert type axiomatization of some three-valued propositional logic.	Math. Log. Q.	1990	DBLP DOI BibTeX RDF
17	M. E. Adams, R. Cignolli	A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz Algebras.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
17	Alberto Zanardo	Axiomatization of 'Peircean' branching-time logic.	Stud Logica	1990	DBLP DOI BibTeX RDF
17	Burghard Herrmann, Wolfgang Rautenberg	Axiomatization of the De Morgan type rules.	Stud Logica	1990	DBLP DOI BibTeX RDF
17	Ambuj K. Singh	An Axiomatization of Wait-Freedom and Low-Atomicity.	ICCI	1990	DBLP DOI BibTeX RDF
17	Shin'ichi Yokota	Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I.	Math. Log. Q.	1989	DBLP DOI BibTeX RDF
17	O. M. Anshakov, V. K. Finn, D. P. Skvortsov	On axiomatization of many-valued logics associated with formalization of plausible reasonings.	Stud Logica	1989	DBLP DOI BibTeX RDF
17	Bezalel Peleg	An Axiomatization of the Core of Market Games.	Math. Oper. Res.	1989	DBLP DOI BibTeX RDF
17	Wolfgang Rautenberg	Axiomatization of semigroup consequences.	Arch. Math. Log.	1989	DBLP DOI BibTeX RDF
17	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
17	Madhavan Mukund, P. S. Thiagarajan	An Axiomatization of Event Structures.	FSTTCS	1989	DBLP DOI BibTeX RDF
17	Wojciech Zielonka	Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.	Math. Log. Q.	1988	DBLP DOI BibTeX RDF
17	Roman Tuziak	An axiomatization of the finite-valued Łukasiewicz calculus.	Stud Logica	1988	DBLP DOI BibTeX RDF
17	Miklós Bartha	A finite axiomatization of flowchart schemes.	Acta Cybern.	1987	DBLP BibTeX RDF
17	Andrzej Szalas	Arithmetical Axiomatization of First-Order Temporal Logic.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
17	Zdzislaw Dywan	On a Method of Axiomatization of Some Propositional Calculi.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF
17	Miklós Bartha	An Equational Axiomatization of Systolic Systems.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
17	Irène Guessarian, José Meseguer 0001	On the Axiomatization of "If-Then-Else".	SIAM J. Comput.	1987	DBLP DOI BibTeX RDF
17	Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu	Axiomatization and Simplification Rules for Relational Transactions.	PODS	1987	DBLP DOI BibTeX RDF
17	Daniel H. Cohen	A new axiomatization of Belnap's conditional assertion.	Notre Dame J. Formal Log.	1986	DBLP DOI BibTeX RDF
17	Alberto Zanardo	A finite axiomatization of the set of strongly valid Ockhamist formulas.	J. Philos. Log.	1985	DBLP DOI BibTeX RDF
17	John Grant, Jack Minker	Normalization and Axiomatization for Numerical Dependencies	Inf. Control.	1985	DBLP DOI BibTeX RDF
17	Jacek K. Kabzinski	An axiomatization of the equivalential fragment of the three-valued logic of Lukasiewicz.	Notre Dame J. Formal Log.	1984	DBLP DOI BibTeX RDF
17	François Bancilhon, Philippe Richard	A Sound and Complete Axiomatization of Embedded Cross Dependencies.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
17	Bernhard Thalheim	A compelte axiomatization for full join dependencies in relations.	Bull. EATCS	1984	DBLP BibTeX RDF
17	Werner Damm	An axiomatization of low-level parallelism in microarchitectures.	MICRO	1984	DBLP BibTeX RDF
17	Daniel Leivant	The Optimality of Induction as an Axiomatization of Arithmetic.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
17	Charles Zaiontz	Axiomatization of the Monadic Theory of Ordinals < ω2.	Math. Log. Q.	1983	DBLP DOI BibTeX RDF
17	Steven T. Kuhn	An axiomatization of predicate functor logic.	Notre Dame J. Formal Log.	1983	DBLP DOI BibTeX RDF
17	Douglas R. Troeger	An Axiomatization of D-scheme Strong Equivalence.	J. Comput. Syst. Sci.	1983	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt, Carole Delporte	An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract).	ICALP	1983	DBLP DOI BibTeX RDF
17	Werner Damm, Bernhard Josko	A Sound and Relatively* Compete Axiomatization of Clarke's Language L4.	Logic of Programs	1983	DBLP DOI BibTeX RDF
17	Norman Feldman	Axiomatization of Polynomial Substitution Algebras.	J. Symb. Log.	1982	DBLP DOI BibTeX RDF
17	Bengt G. Lundberg	An Axiomatization of Events.	BIT	1982	DBLP DOI BibTeX RDF
17	Fereidoon Sadri, Jeffrey D. Ullman	Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization.	J. ACM	1982	DBLP DOI BibTeX RDF
17	Edward Sciore	A Complete Axiomatization of Full Join Dependencies.	J. ACM	1982	DBLP DOI BibTeX RDF
17	Dominique Thon	An axiomatization of the Gini coefficient.	Math. Soc. Sci.	1982	DBLP DOI BibTeX RDF
17	Philippe Darondeau	An enlarged definition and complete axiomatization of observational congruence of finite processes.	Symposium on Programming	1982	DBLP DOI BibTeX RDF
17	Zoltán Ésik	An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration.	FCT	1981	DBLP DOI BibTeX RDF
17	Peter E. Lauer	Towards an axiomatization of value theory.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
17	Mars K. Valiev	On axiomatization of process logic.	Logic of Programs	1980	DBLP DOI BibTeX RDF
17	Grazyna Mirkowska	Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations	STOC	1980	DBLP DOI BibTeX RDF
17	Fereidoon Sadri, Jeffrey D. Ullman	A Complete Axiomatization for a Large Class of Dependencies in Relational Databases	STOC	1980	DBLP DOI BibTeX RDF
17	Lennart Åqvist	A conjectured axiomatization of two-dimensional Reichenbachian tense logic.	J. Philos. Log.	1979	DBLP DOI BibTeX RDF
17	Mars K. Valiev	On Axiomatization of Deterministic Propositional Dynamic Logic.	MFCS	1979	DBLP DOI BibTeX RDF
17	P. A. Subrahmanyam	On a finite axiomatization of the data type L.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
17	Boleslaw Sobocinski	A new axiomatization of the mixed associative Newman algebras.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
17	Gregory H. Moore	The origins of Zermelo's axiomatization of set theory.	J. Philos. Log.	1978	DBLP DOI BibTeX RDF
17	James H. Schmerl	An Axiomatization for a Class of Two-Cardinal Models.	J. Symb. Log.	1977	DBLP DOI BibTeX RDF
17	John Neil Martin	An axiomatization of Herzberger's 2-dimensional presuppositional semantics.	Notre Dame J. Formal Log.	1977	DBLP DOI BibTeX RDF
17	Catriel Beeri, Ronald Fagin, John H. Howard	A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF
17	Jan A. Bergstra, Alexander Ollongren, Theo P. van der Weide	An Axiomatization of the Rational Data Objects.	FCT	1977	DBLP DOI BibTeX RDF
17	Maarten M. Fokkinga	Axiomatization of Declarations and the Formal Treatment of an Escape Construct.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
17	Boleslaw Sobocinski	A short equational axiomatization of modular ortholattices.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
17	Boleslaw Sobocinski	A short equational axiomatization of orthomodular lattices.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
17	Thomas W. Scharle	Axiomatization of fragments of S5.	Notre Dame J. Formal Log.	1975	DBLP DOI BibTeX RDF
17	Gerd Wechsung	The Axiomatization Problem of a Theory of Linear Languages.	MFCS	1974	DBLP DOI BibTeX RDF
17	Boleslaw Sobocinski	Errata: "An equational axiomatization of associative Newman algebras".	Notre Dame J. Formal Log.	1973	DBLP BibTeX RDF
17	Boleslaw Sobocinski	A new axiomatization of modal system K1.2.	Notre Dame J. Formal Log.	1973	DBLP DOI BibTeX RDF
17	George Epstein	An Equational Axiomatization for the Disjoint System of Post Algebras.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
17	Boleslaw Sobocinski	An equational axiomatization of associative Newman algebras.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
17	Boleslaw Sobocinski	An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
17	Charles F. Kielkopf	Kripke's axiomatization of S2.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
17	Robert John Ackermann	Matrix satisfiability and axiomatization.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
17	Nuel Belnap, Storrs McCall	Every functionally complete m-valued logic has a Post-complete axiomatization.	Notre Dame J. Formal Log.	1970	DBLP DOI BibTeX RDF
17	Wilson E. Singletary	Results regarding the axiomatization of partial propositional calculi.	Notre Dame J. Formal Log.	1968	DBLP DOI BibTeX RDF
17	Wilson E. Singletary	A Note on Finite Axiomatization of Partial Propositional Calculi.	J. Symb. Log.	1967	DBLP DOI BibTeX RDF
17	John Thomas Canty	A note on the axiomatization of Rubin's system (S).	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
17	Thomas W. Scharle	Axiomatization of propositional calculus with Sheffer functors.	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
17	R. A. Bull	An axiomatization of Prior's modal calculus Q.	Notre Dame J. Formal Log.	1964	DBLP DOI BibTeX RDF
17	Louise Schmir Hay	Axiomatization of the Infinite-Valued Predicate Calculus.	J. Symb. Log.	1963	DBLP DOI BibTeX RDF
17	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
17	Boleslaw Sobocinski	A contribution to the axiomatization of Lewis' system S5.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF