Search results

...al methodology also led to generalizations of mathematical theories in the family of [[t-norm fuzzy logics]].<ref>{{cite web| last=Garrido| first=Angel| titl ...rnal of Philosophy]]| volume=72| number=19| pages=690–716| year=1975| last=Kripke| first=Saul| title=Outline of a Theory of Truth| url=https://www.impan.pl/~ ...

...neral result, without the explosion principle. The result is essentially a family of simple double negation elimination claims, <math>\exists</math>-sentence There are semantics of minimal logic that mirror the [[Kripke semantics#Semantics_of_intuitionistic_logic|frame-semantics]] of [[intuitio ...

...almost disjointness number, the least size of a maximal [[almost disjoint family]] of infinite subsets of ω}} {{defn|defn=An [[admissible set]] is a model of Kripke–Platek set theory, and an [[admissible ordinal]] is an ordinal α such that ...

| footnotes = Family members include: == Family == ...