Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

68 items matching your criteria

Sort by:
Filter By:
Subject: F.4.1 - Mathematical Logic
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3 4 5
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
Alexandre Rademaker, Edward Haeusler
10.3217/jucs-016-20-3016
 01-11-2010
 Unique: 302 | Total: 365  | Access Period:
 3016-3042
HTML
XML
PDF
Research Article
An Axiomatization of a First-order Branching Time Temporal Logic
Dragan Doder, Zoran Ognjanović, Zoran Marković
10.3217/jucs-016-11-1439
 01-06-2010
 Unique: 350 | Total: 406  | Access Period:
 1439-1451
HTML
XML
PDF
Research Article
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
Yang Xu, Jun Liu,     Luis Martínez-López, Da Ruan
10.3217/jucs-016-01-0003
 01-01-2010
 Unique: 352 | Total: 403  | Access Period:
 3-21
HTML
XML
PDF
Research Article
A Characterisation of Coincidence Ideals for Complex Values
Attila Sali, Klaus-Dieter Schewe
10.3217/jucs-015-01-0304
 01-01-2009
 Unique: 307 | Total: 357  | Access Period:
 304-354
HTML
XML
PDF
Research Article
Non-Denumerable Infinitary Modal Logic
Max Cresswell
10.3217/jucs-015-01-0063
 01-01-2009
 Unique: 311 | Total: 381  | Access Period:
 63-71
HTML
XML
PDF
Research Article
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
Afrodita Iorgulescu
10.3217/jucs-014-22-3686
 28-12-2008
 Unique: 326 | Total: 382  | Access Period:
 3686-3715
HTML
XML
PDF
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 346 | Total: 392  | Access Period:
 1929-1948
HTML
XML
PDF
Research Article
On the Relationship between Filter Spaces and Weak Limit Spaces
Matthias Schröder
10.3217/jucs-014-06-0996
 28-03-2008
 Unique: 323 | Total: 375  | Access Period:
 996-1015
HTML
XML
PDF
Research Article
Notions of Probabilistic Computability on Represented Spaces
Volker Bosserhoff
10.3217/jucs-014-06-0956
 28-03-2008
 Unique: 298 | Total: 335  | Access Period:
 956-995
HTML
XML
PDF
Research Article
The Bit-Complexity of Finding Nearly Optimal Quadrature Rules for Weighted Integration
Volker Bosserhoff
10.3217/jucs-014-06-0938
 28-03-2008
 Unique: 271 | Total: 325  | Access Period:
 938-955
HTML
XML
PDF
Research Article
The Riemann Integral in Weak Systems of Analysis
Fernando Ferreira, Gilda Ferreira
10.3217/jucs-014-06-0908
 28-03-2008
 Unique: 305 | Total: 359  | Access Period:
 908-937
HTML
XML
PDF
Research Article
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings
Laurentiu Leustean
10.3217/jucs-013-11-1680
 28-11-2007
 Unique: 327 | Total: 381  | Access Period:
 1680-1691
HTML
XML
PDF
1 2 3 4 5
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK