The following pages link to A. Tauts (Q749524):
Displaying 38 items.
- Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order (Q749525) (← links)
- Shelah's pcf theory and its applications (Q749528) (← links)
- (Q913790) (redirect page) (← links)
- The algebra of conditional logic (Q913791) (← links)
- The relative consistency of a ``large cardinal'' property for \(\omega_ 1\) (Q917549) (← links)
- Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks (Q1123187) (← links)
- The interval inclusion number of a partially ordered set (Q1176729) (← links)
- Complete and atomic algebras of the infinite valued Łukasiewicz logic (Q1189890) (← links)
- On the concept of relatively uniform realizability of propositional formulas (Q1204621) (← links)
- On the Alaoglu-Birkhoff equivalence of posets (Q1300130) (← links)
- Rank in set theory without foundation (Q1306799) (← links)
- A restriction on the first successor cardinal which is Jonsson (Q1335191) (← links)
- A new regular constant in intuitionistic propositional logic (Q1357985) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- Cofinalities of linear orders (Q1568665) (← links)
- Weak covering without countable closure (Q1910658) (← links)
- The undecidability of the second order predicate unification problem (Q2277244) (← links)
- Nonregular first order predicate calculus (Q2548596) (← links)
- (Q3347853) (← links)
- (Q3483268) (← links)
- (Q3663270) (← links)
- Formal deduction with transfinite induction and its transformation for easier program synthesis (Q3678663) (← links)
- Extraction of a program from deduction and its regularity. I (Q3726113) (← links)
- (Q3910514) (← links)
- (Q3947645) (← links)
- (Q4079571) (← links)
- (Q4082757) (← links)
- (Q4082758) (← links)
- (Q4124815) (← links)
- (Q4128783) (← links)
- (Q4135497) (← links)
- (Q4175555) (← links)
- (Q4175556) (← links)
- (Q4706144) (← links)
- (Q5607959) (← links)
- (Q5643950) (← links)
- (Q5643951) (← links)
- (Q5691735) (← links)
