Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495157957> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1495157957 abstract "Editorial. President's Address. Section 1: Proof Theory and Categorical Logic. Proof-Theoretical Aspects of Self-Referential Truth A. Cantini. Free Lattices, Communication and Money Games A. Joyal. On Methods for Proving Lower Bounds in Propositional Logic J. Krajicek. On Bounded Set Theory V.Yu. Sazonov. Section 2: Model Theory, Set Theory and Formal Systems. Infinitary Logic in Finite Model Theory Ph.G. Kolaitis. Decision Problems for Second-Order Linear Logic P.D. Lincoln, et al. Comparing the Continuum with the First Two Uncountable Cardinals S. Todorcevic. Section 3: Recursion Theory and Constructivism. Church's Thesis and Hume's Problem K.T. Kelly, O. Schulte. The Logic of Functional Recursion Y.N. Moschovakis. From Higher Order Terms to Circuits H. Schwichtenberg, K. Stroetman. Computability and Enumerability R. Soare. Mechanistic Theories in Cognitive Science: The Import of Turing's Thesis G. Tamburrini. Section 5: Philosophical Logic. Conjoining and Disjoining on Different Levels E. Casari. Logical Consequence: A Turn in Style K. Dosen. Applying Normative Rules with Restraint S.O. Hansson, D. Makinson. Section 10: Philosophy of Logic, Mathematics and Computer Science. What Can We Do 'In Principle'? Ch.D. Parsons. Causation, Action, and Counterfactuals J. Pearl. Symposium 1: Logic and Philosophy of Science: Current Interfaces. Logic and Philosophy of Science: Current Interfaces T.A.F. Kuipers. Reliable Belief Revision K.T. Kelly, et al. Explanatory Translation: Beyond Functionalism and Reductionism V. Rantala. Abductive Reasoning: Logic, VisualThinking, and Coherence P. Thagard, C. Shelley. Can the Laws of Nature (Physics) be Complete? P. Weingartner. Symposium 4: Logic in Central and Eastern Europe. Logic in Central and Eastern Europe P. Hajek. Logic in Czechoslovakia and Hungary L. Bukovsky. Mathematical Logic in the Former Soviet Union: Brief History and Current Trends V.A. Uspensky. Logic in Central and Eastern Europe: Balkan Region D. Vakarelov. The Postwar Panorama of Logic in Poland R. Wojcicki. Closing Address. Structure and Perspective: Philosophical Perplexity and Paradox B.C. van Fraassen. Table of Contents Volume II." @default.
- W1495157957 created "2016-06-24" @default.
- W1495157957 creator A5068699897 @default.
- W1495157957 creator A5069739656 @default.
- W1495157957 creator A5083214023 @default.
- W1495157957 creator A5090937054 @default.
- W1495157957 date "1997-01-01" @default.
- W1495157957 modified "2023-09-23" @default.
- W1495157957 title "Logic and scientific methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995" @default.
- W1495157957 hasPublicationYear "1997" @default.
- W1495157957 type Work @default.
- W1495157957 sameAs 1495157957 @default.
- W1495157957 citedByCount "1" @default.
- W1495157957 crossrefType "journal-article" @default.
- W1495157957 hasAuthorship W1495157957A5068699897 @default.
- W1495157957 hasAuthorship W1495157957A5069739656 @default.
- W1495157957 hasAuthorship W1495157957A5083214023 @default.
- W1495157957 hasAuthorship W1495157957A5090937054 @default.
- W1495157957 hasConcept C101874905 @default.
- W1495157957 hasConcept C102993220 @default.
- W1495157957 hasConcept C111472728 @default.
- W1495157957 hasConcept C118615104 @default.
- W1495157957 hasConcept C121332964 @default.
- W1495157957 hasConcept C138885662 @default.
- W1495157957 hasConcept C154945302 @default.
- W1495157957 hasConcept C165801399 @default.
- W1495157957 hasConcept C169896238 @default.
- W1495157957 hasConcept C172385210 @default.
- W1495157957 hasConcept C183140480 @default.
- W1495157957 hasConcept C19689857 @default.
- W1495157957 hasConcept C199343813 @default.
- W1495157957 hasConcept C2777686260 @default.
- W1495157957 hasConcept C2777796570 @default.
- W1495157957 hasConcept C33923547 @default.
- W1495157957 hasConcept C41008148 @default.
- W1495157957 hasConcept C47030870 @default.
- W1495157957 hasConcept C529767740 @default.
- W1495157957 hasConcept C62520636 @default.
- W1495157957 hasConcept C71924100 @default.
- W1495157957 hasConceptScore W1495157957C101874905 @default.
- W1495157957 hasConceptScore W1495157957C102993220 @default.
- W1495157957 hasConceptScore W1495157957C111472728 @default.
- W1495157957 hasConceptScore W1495157957C118615104 @default.
- W1495157957 hasConceptScore W1495157957C121332964 @default.
- W1495157957 hasConceptScore W1495157957C138885662 @default.
- W1495157957 hasConceptScore W1495157957C154945302 @default.
- W1495157957 hasConceptScore W1495157957C165801399 @default.
- W1495157957 hasConceptScore W1495157957C169896238 @default.
- W1495157957 hasConceptScore W1495157957C172385210 @default.
- W1495157957 hasConceptScore W1495157957C183140480 @default.
- W1495157957 hasConceptScore W1495157957C19689857 @default.
- W1495157957 hasConceptScore W1495157957C199343813 @default.
- W1495157957 hasConceptScore W1495157957C2777686260 @default.
- W1495157957 hasConceptScore W1495157957C2777796570 @default.
- W1495157957 hasConceptScore W1495157957C33923547 @default.
- W1495157957 hasConceptScore W1495157957C41008148 @default.
- W1495157957 hasConceptScore W1495157957C47030870 @default.
- W1495157957 hasConceptScore W1495157957C529767740 @default.
- W1495157957 hasConceptScore W1495157957C62520636 @default.
- W1495157957 hasConceptScore W1495157957C71924100 @default.
- W1495157957 hasIssue "259" @default.
- W1495157957 hasLocation W14951579571 @default.
- W1495157957 hasOpenAccess W1495157957 @default.
- W1495157957 hasPrimaryLocation W14951579571 @default.
- W1495157957 hasRelatedWork W1496589583 @default.
- W1495157957 hasRelatedWork W1515004177 @default.
- W1495157957 hasRelatedWork W1531629203 @default.
- W1495157957 hasRelatedWork W1531813481 @default.
- W1495157957 hasRelatedWork W1558677417 @default.
- W1495157957 hasRelatedWork W1563255860 @default.
- W1495157957 hasRelatedWork W1563605622 @default.
- W1495157957 hasRelatedWork W163921243 @default.
- W1495157957 hasRelatedWork W2095350535 @default.
- W1495157957 hasRelatedWork W2419298441 @default.
- W1495157957 hasRelatedWork W403793928 @default.
- W1495157957 hasRelatedWork W590686570 @default.
- W1495157957 hasRelatedWork W596988602 @default.
- W1495157957 hasRelatedWork W602605084 @default.
- W1495157957 hasRelatedWork W605421089 @default.
- W1495157957 hasRelatedWork W625041402 @default.
- W1495157957 hasRelatedWork W643334840 @default.
- W1495157957 hasRelatedWork W650555814 @default.
- W1495157957 hasRelatedWork W655976081 @default.
- W1495157957 hasRelatedWork W1654549037 @default.
- W1495157957 isParatext "false" @default.
- W1495157957 isRetracted "false" @default.
- W1495157957 magId "1495157957" @default.
- W1495157957 workType "article" @default.