Filters








226,903 Hits in 5.6 sec

Meeting of the Association for Symbolic Logic

Yiannis N. Moschovakis
1969 Journal of Symbolic Logic (JSL)  
For every countable cut there is an interval such that every element of the interval satisfies the cut. (Received February 2, 1968.) AKIRA NAKAMURA. On an undecidable Post canonical language.  ...  Although it does not appear to be a universal homogeneous structure of any kind it does have many of the properties of such structures.  ...  Robinson, "A machine-oriented logic based on the resolution principle," Journal of the Association for Computing Machinery, vol. 12 (1965) , pp. 23-41.  ... 
doi:10.2307/2271050 fatcat:zmrddcq56vgqrh4soqtbczmqja

Meeting of the Association for Symbolic Logic

Martin Davis
1966 Journal of Symbolic Logic (JSL)  
Gandy has proved for functionals with arguments of types ^ 2, the most important of which is the following: there is a partial recursive functional v(a 3 , c, e) such that {Ex) [{«}(c, x) is defined] -  ...  (b) Each G z is hyperanalytic in a, uniformly for z e N.  ... 
doi:10.2307/2269759 fatcat:5otyej3cw5afnaraf3o4cp3oz4

Meeting of the Association for Symbolic Logic

J. N. Crossley
1966 Journal of Symbolic Logic (JSL)  
The Annual Meeting of the Association for Symbolic Logic will be held in Houston, Texas, on January 23 and 24, 1967.  ...  This Colloquium has the sponsorship of the Association for Symbolic Logic as its 1966 European meeting and, in favor of this Colloquium, there will be no logic Colloquium in England for 1966.  ... 
doi:10.2307/2269862 fatcat:ypvo2vssvrc3ljnw5hpgq3d6u4

Ninth Meeting of the Association for Symbolic Logic

1947 Journal of Symbolic Logic (JSL)  
NINTH MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The annual meeting of the Association for Symbolic Logic was held a t Columbia University, New York City, on Saturday, February 8, 1947 .  ...  T H E ASSOCIATION FOR SYMBOLIC LOGIC announces the following elections, each for a term of three years from January 1, 1947: As President of the Association, Professor Ernest Nagel of Columbia University  ... 
doi:10.1017/s0022481200076568 fatcat:qzs4jytveng3fiwewqdubzutu4

Eleventh Meeting of the Association for Symbolic Logic

1949 Journal of Symbolic Logic (JSL)  
Let £ i be the theory of modular lattices; its non-logical constants are the symbols "L", "U," and "n" denoting the set of elements of a lattice and the operations of join and meet; the non-logical axioms  ...  ELECTIONS-INSTITUTIONAL CONTRIBUTING SUBSCRIBERS THE ASSOCIATION FOR STMBOLIC LOGIC announces the following elections, each for a term of three years from January 1, 1949: As members of the Executive Committee  ... 
doi:10.2307/2269014 fatcat:s3ypqzvva5cp3dmqc5qawlmsqq

Annual Meeting of the Association for Symbolic Logic

George Boolos, Sy Friedman
1984 Journal of Symbolic Logic (JSL)  
I show that (1) A two-valued function Pfrom the statements of L to the reals meets constraints A1-A3 il it meets constraints B1-B7.  ...  Understand by a truth-value function for L any function P from the statements of L to (0, 1} that meets the following three constraints: Al. P(-A) = 1 -P(A); A2.  ...  Hence, the compactness theorem fails for r-logics.  ... 
doi:10.2307/2274306 fatcat:kkksnqcog5g6zls66ku5abamd4

Eighth meeting of the Association for Symbolic Logic

1946 Journal of Symbolic Logic (JSL)  
As an abbreviation, parentheses are omitted under the convention of association to the left.  ...  (1) with each f oi R and each G of T an element fG of R is associated in such a way that the formulae (*) hold, (2) there is a trioperational isomorphism between R and a subset of T associating with each  ... 
doi:10.2307/2269172 fatcat:ldqujtml5nehxj4ng4njywtr4a

Meeting of the association for symbolic logic warsaw 1968

A. Mostowski, A. Blikle
1969 Journal of Symbolic Logic (JSL)  
IfKis a uniformly directed class of structures, then %• < K% -u\J* for all%eK.  ...  It is trivial to realize that the upward Lowenheim-Skolem theorem does not hold for the "uniform" concepts introduced before.  ...  The logical description of changes which take time.  ... 
doi:10.2307/2270969 fatcat:sg6ftqanwbbx7aa4o37k2qk5ui

Twenty-sixth annual meeting of the Association for Symbolic Logic

Nuel D. Belnap
1960 Journal of Symbolic Logic (JSL)  
The symposium is being organized by the Association for Symbolic Logic, which is asking the International Union for the History and Philosophy of Science to serve as co-sponsor.  ...  The first system is easily shown adequate for Quine's Mathematical Logic (1940 Logic ( , 1958 . It contains: I. Primitive signs:) (. II. Symbols (or well-formed signs): 1. '()' is a symbol. 2.  ...  The schedule of publication of the JOURNAL OF SYMBOLIC LOGIC will be approximately as follows: Members of the Association for Symbolic Logic will receive the INDEX VOLUME under their dues payment for 1961  ... 
doi:10.2307/2963585 fatcat:wtn3h3n3hjdj3iorb7eqdhmhge

Annual Meeting of the Association for Symbolic Logic, Philadelphia 1981

Simon Kochen, Hugues Leblanc, Charles D. Parsons
1983 Journal of Symbolic Logic (JSL)  
I show that (1) A two-valued function Pfrom the statements of L to the reals meets constraints A1-A3 il it meets constraints B1-B7.  ...  Understand by a truth-value function for L any function P from the statements of L to (0, 1} that meets the following three constraints: Al. P(-A) = 1 -P(A); A2.  ...  Hence, the compactness theorem fails for r-logics.  ... 
doi:10.2307/2273495 fatcat:qwtcwtawv5hnjhb3ut4wgqogwq

2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '16 Leeds, UK July 31–August 6, 2016

2017 Bulletin of Symbolic Logic  
For classical theorems bear the characteristic of paradoxes. Second, it casts doubt on the classicality of NT. Intuitively, it is not sufficient to merely prove all theorems of classical logic.  ...  However, one can show that NT is weakly inconsistent for many central theorems of classical logic as well; including the law of noncontradiction, excluded middle and identity.  ...  One would further have to ensure that the systemdoes not prove anything weakly inconsistent Published as part of 2016 EUROPEAN SUMMER MEETING OF THE AS-SOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '16  ... 
doi:10.1017/bsl.2017.16 fatcat:hbb654xp2jg7bkrfbtr2sy2dsi

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '15 Helsinki, Finland August 3–8, 2015

2016 Bulletin of Symbolic Logic  
We then study interpretation arguments for games that provide a model-theoretic construction of translations between these logics. MENACHEM MAGIDOR, On the set theory of generalized logics.  ...  Generalized logics attempt to provide mechanisms for expressing such properties. Second order logic is a prime example of such logic.  ...  We prove that for some sequence of tautologies ϕn the proof steps and the proof sizes in  ... 
doi:10.1017/bsl.2016.22 fatcat:cm4a5yyvgfajzm4qvlszviblni

BSL volume 24 issue 4 Cover and Back matter

2018 Bulletin of Symbolic Logic  
Supervised by Christian Rosendal .................................... 458 MEETINGS OF THE ASSOCIATION FOR SYMBOLIC LOGIC 2016-17 Winter Meeting of the Association for Symbolic Logic, Hyatt Regency Atlanta  ...  ............................. 386 Fifteenth Asian Logic Conference, An Offi cial Meeting of the Association for Symbolic Logic, National Institute for Mathematical Sciences, Daejeon, South Korea, July  ... 
doi:10.1017/bsl.2018.90 fatcat:sy44v7juvjcahmqg5kaiw6ixdm

BSL volume 27 issue 1 Cover and Front matter

2021 Bulletin of Symbolic Logic  
http://aslonline.org/LogicThesis Abstracts.html Books for review in the BULLETIN should be sent to ASL,  ...  Communications should be announcements of important new results and ideas in any aspect of logic; they may be short papers in their fi nal form or preliminary announcements (extended abstracts, position  ...  ....... 94 2021 Winter Meeting of the Association for Symbolic Logic, Virtual Gathering, Eastern Apa Meeting, January 7-8, 2021 .......................... 98 2021 Winter Meeting of the Association for  ... 
doi:10.1017/bsl.2021.18 fatcat:ya6zuhzqxrgoddawhaecyfmqyq

JSL volume 46 issue 1 Cover and Front matter

1981 Journal of Symbolic Logic (JSL)  
DA COSTA and Meeting of the Association for Symbolic Logic, Biloxi, 1979^ By DANIEL HALPERN, WILLIAM TAIT. and JOHN T. BALDWIN 191 Meeting of the Association for Symbolic Logic, San Diego, 1979.  ...  KEARNES 77 LOPEZ -ESCOBAR v ." 87 IRENE MIKENBERG _ 180 Meeting of the Association for Symbolic Logic, Hamilton, New Zealand, 1979.  ... 
doi:10.1017/s0022481200045965 fatcat:etz33gd7wfd6xciq5goo5jtsiu
« Previous Showing results 1 — 15 out of 226,903 results