• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2014 (35)
  • 
    Medium:
    
    • Online (35)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 35 1 Thirty-three Dialectics on a Theme: Hegelian Philosophy Vis-à-vis Beethoven's "Diabelli" Variations, Op. 120 ... Schmeder, Maximillian. - : Columbia University, 2014 BASE Show details 2 The Problem of Universal Salvation in the Theology of Emil Brunner ... Cumming, Richard Paul. - : Columbia University, 2014 BASE Show details 3 Sed Contra, Ergo, Responsio: Honoring the Legacy of Christopher Morse as a Teacher of Christian Theology ... Spencer, Daniel; Walsh, Mary Beth. - : Columbia University, 2014 BASE Show details 4 Language death and diversity: philosophical and linguistic implications ... Brons, Lajos. - : Humanities Commons, 2014 BASE Show details 5 Meaningfulness, rules, and use-conditional semantics ... Reiland, Indrek. - : University of Southern California Digital Library (USC.DL), 2014 BASE Show details 6 From Eros to Eschaton: Herbert Marcuse’s Liberation of Time ... Edwards, Caroline. - : Humanities Commons, 2014 BASE Show details 7 Socrates and the Politics of Music: Preludes of the Republic ... Long, Christopher. - : Humanities Commons, 2014 BASE Show details 8 Geometrical First Principles in Proclus’ Commentary on the First Book of Euclid’s Elements ... Gregory MacIsaac, D.. - : Humanities Commons, 2014 BASE Show details 9 L1 Effects on the Articulation of Samaritan Hebrew ... Davis, Daniel. - : Carnegie Mellon University, 2014 BASE Show details 10 Proof Theory ... Avigad, Jeremy. - : Carnegie Mellon University, 2014 BASE Show details 11 Proof Theory ... Avigad, Jeremy. - : Carnegie Mellon University, 2014 BASE Show details 12 L1 Effects on the Articulation of Samaritan Hebrew ... Davis, Daniel. - : Carnegie Mellon University, 2014 BASE Show details 13 Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics ... Anderson, James; Gomide, Walter. - : figshare, 2014 Abstract: Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been proposed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applications in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathematical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consistent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, ... Keyword: Artificial Intelligence and Image Processing; Computation Theory and Mathematics; FOS Computer and information sciences; FOS Philosophy, ethics and religion; Philosophy URL: https://dx.doi.org/10.6084/m9.figshare.1096222.v2 https://figshare.com/articles/journal_contribution/Transreal_Arithmetic_as_a_Consistent_Basis_For_Paraconsistent_Logics/1096222/2 BASE Hide details 14 Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics ... Anderson, James; Gomide, Walter. - : figshare, 2014 BASE Show details 15 Collation of Formal Dialectical Games from the literature ... Wells, Simon. - : figshare, 2014 BASE Show details 16 Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics ... Anderson, James; Gomide, Walter. - : figshare, 2014 BASE Show details 17 Collation of Formal Dialectical Games from the literature ... Wells, Simon. - : figshare, 2014 BASE Show details 18 What Does It Mean to Make-Up the Mind (οὕτω διανοεῖσθε)? ... Murphy, Justin. - : Figshare, 2014 BASE Show details 19 What Does It Mean to Make-Up the Mind (οὕτω διανοεῖσθε)? ... Murphy, Justin. - : figshare, 2014 BASE Show details 20 Beyond the Static Phoneme Boundary: The Nonlinear Dynamics of Emerging Literacy ... Hasselman, Fred. - : figshare, 2014 BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 35 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0