English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Automated reasoning in some local extensions of ordered structures

Sofronie-Stokkermans, V., & Ihlemann, C. (2007). Automated reasoning in some local extensions of ordered structures. Journal of Multiple-Valued Logic and Soft Computing, 13(4-6), 397-414.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1E55-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-7B35-7
Genre: Journal Article

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Sofronie-Stokkermans, Viorica1, Author           
Ihlemann, Carsten1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 Abstract: We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or with monotonicity axioms). We show that such extensions are local and, hence, efficient methods for hierarchical reasoning exist in all these cases.

Details

show
hide
Language(s): eng - English
 Dates: 2008-03-282007
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 356456
Other: Local-ID: C12573CC004A8E26-C84A8DE8F3AF5D57C12572BF003C5067-sofronie-ihlemann-jmvl-2007
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Multiple-Valued Logic and Soft Computing
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 13 (4-6) Sequence Number: - Start / End Page: 397 - 414 Identifier: ISSN: 1542-3980