Filters








13 Hits in 2.7 sec

JSL volume 63 issue 2 Cover and Back matter

1998 Journal of Symbolic Logic (JSL)  
TER 694 Frege proof system and TNC°, by GAISI TAKEUTI •; 709 --.--A note on valuation definable expansions of fields, by DETRDRE HASKELL and DUGALD MACPHERSON 739  ... 
doi:10.1017/s0022481200014924 fatcat:ra6xzrohibf2zabi55bmrhqiue

Page 3696 of Mathematical Reviews Vol. , Issue 99f [page]

1999 Mathematical Reviews  
{For the entire collection see MR 99b:03006. } 99f:03078 03F20 03F30 68Q15 Takeuti, Gaisi (1-IL; Urbana, IL) Frege proof system and TNC°. J. Symbolic Logic 63 (1998), no. 2, 709-738.  ...  A Frege (propositional proof) system F is any sound and impli- cationally complete Hilbert-style calculus for propositional logic that is based on finitely many axiom schemes and inference rules.  ... 

Page 3073 of Mathematical Reviews Vol. , Issue 94f [page]

1994 Mathematical Reviews  
The number of symbols in a proof is taken as the measure of its length. The author shows that Frege systems with the deduction rule provide at most quadratic speedup over other Frege systems.  ...  Upper bounds are established on the proof speedups obtained by adding the deduction rule (= the deduction theorem) to a Frege system.  ... 

Page 7300 of Mathematical Reviews Vol. , Issue 97M [page]

1997 Mathematical Reviews  
Buss, On Herbrand’s theorem (195-209); Jan Krajitek and Pavel Pudlak, Some consequences of cryptographical conjectures for S} and EF (210-220); Gaisi Takeuti, Frege proof system and TNC® (221-252).  ...  Applicative and proof-theoretic complexity: Stephen Bloch, On parallel hierarchies and Rj (52-76); Ulrich Berger and Helmut Schwichtenberg, Program extraction from classical proofs (77- 97); Peter Clote  ... 

JSL volume 63 issue 4 Cover and Back matter

1998 Journal of Symbolic Logic (JSL)  
Frege proof system and TNC° 709 TAKEUTI, GAISI and YASUMOTO, MASAHIRO. Forcing on bounded arithmetic II 860 VAN DEN DRIES, LOU. Correction to 'T-convexity and tame extensions II" .. 1597 VENEMA, YDE.  ...  Relational semantics and a relational proof system for full Lambek calculus 623 MACPHERSON, DUGALD. See HASKELL, DEIRDRE. MARK D.  ... 
doi:10.1017/s0022481200014213 fatcat:tr46n2lbkrcp3cshjbendcc4oq

Term Logic

Simons
2020 Axioms  
An obvious translation into monadic predicate logic shows the system is decidable, and additional expressive power brought by adding quantifiers enables numerical predicates to be defined.  ...  The predominant form of logic before Frege, the logic of terms has been largely neglected since. Terms may be singular, empty or plural in their denotation.  ...  These are not theorems of our system and it is important to see why.  ... 
doi:10.3390/axioms9010018 fatcat:d27zsarddrfnljbq63s6ktmkqi

Page 101 of Mathematical Reviews Vol. 31, Issue Index [page]

Mathematical Reviews  
., 99g:03060 Takeuti, Gaisi Frege proof system and TNC°. 99f:03078 Tompits, Hans see Egly, Uwe, 99b:03074 and (99f:03002) Urquhart, Alasdair The number of lines in Frege proofs with substitution.  ...  A.; Sgall, Jiti) Proof complexity in algebraic systems and bounded depth Frege systems with modular counting. (English summary) 99g:03060 — Bounded arithmetic and propositional proof complexity.  ... 

A Quantifier-Free String Theory for ALOGTIME Reasoning [article]

François Pitt
2007 arXiv   pre-print
Then, theorems of T_1 are shown to translate into families of propositional tautologies that have uniform polysize Frege proofs, T_1 is shown to prove the soundness of a particular Frege system F, and  ...  a direct proof of the soundness of some Frege system has been given (in the case of first-order theories, such a proof was first given by Arai for his theory AID).  ...  Open Problem 1 Are Frege ("F") and extended Frege ("eF ") proof systems p-equivalent?  ... 
arXiv:cs/0702160v1 fatcat:hr7gyzrrrberhoqvp57fjwlsc4

Page 104 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
., 97e:03072 and 97h:03083 Pudlak, Pavel see Beame, Paul; et al., 97e:03072 Takeuti, Gaisi Frege proof system and TNC’.  ...  Some remarks on lengths of propositional proofs. (English summary) 97b:03075 Clote, Peter Cutting plane and Frege proofs.  ... 

Page 1614 of Mathematical Reviews Vol. 31, Issue Index [page]

Mathematical Reviews  
(Japanese) 99i:03075 — Frege proof system and TNC°. 99f:03078 Tanaka, Toshiaki see Hada, Satoshi, 99j:94046 Tarui, Jun (with Toda, Seinosuke) On the computational complexity of accessibility decision problems  ...  (English summary) 99e:68032 Sudan, Madhu Probabilistic verification of proofs. (English summary) 99j:68038 Sugita, Hiroshi Pseudorandom numbers from the viewpoint of computational complexity theory.  ... 

Page 1436 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(English summary) (see 97m:03004) Sudan, Madhu see Trevisan, Luca; et al., (97k:68012) Szegedy, Mario see Newman, Ilan, (97g:68005) Takeuti, Gaisi Frege proof system and TNC”.  ...  in Computer Science * Logic and computational complexity. 97m:03004 Logic and computational complexity * Logic and computational complexity. 97m:03004 Princeton, NJ %* Descriptive complexity and finite  ... 

Page 1725 of Mathematical Reviews Vol. 31, Issue Index [page]

Mathematical Reviews  
(Hisao Tanaka) 99i:03075 03F30 (03D15, 68Q15) — Frege proof system and TNC°. J. Symbolic Logic 63 (1998), no. 2, 709-738.  ...  Systems 4 (1996), no. 2, 213-223.  ... 

Trade Unionism and the Institutional Equilibrium in MENA States. A Qualitative Comparative Analysis (QCA) Supported Study of the Arab Upheavals 2011 - 2013 in Twelve Countries

Thomas Erich Jakob, Gesellschaftswissenschaften Und Philosophie, Ouaissa, Rachid (Prof. Dr.)
2021
Furthermore, the methodological and theoretical part of this thesis argues that to hold the case studies as thick as possible and as parsimonious as necessary, and the minimisation and interpretations  ...  as thick as necessary and as parsimonious as possible.  ...  Besides crude oil, minerals, and petroleum products, top exports included spice seeds, pure olive oil, fruits, nuts and non-retail pure cotton yarn.  ... 
doi:10.17192/z2021.0517 fatcat:u7em6oly5zaidh22lssn2jxhne