Logic Journal of the IGPL 25 (3):283-308 (2017)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1093/jigpal/jzx005 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
Citations of this work BETA
No citations found.
Similar books and articles
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
Answer Sets and Qualitative Optimization.Gerhard Brewka - 2006 - Logic Journal of the IGPL 14 (3):413-433.
Preservation of Craig Interpolation by the Product of Matrix Logics.C. Sernadas, J. Rasga & A. Sernadas - 2013 - Journal of Applied Logic 11 (3):328-349.
Preservation of Admissible Rules When Combining Logics.João Rasga, Cristina Sernadas & Amílcar Sernadas - 2016 - Review of Symbolic Logic 9 (4):641-663.
On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction.John Hooker - 2000 - Wiley.
Acknowledgements.Walter Carnelli, Paulo Mateus, Amilcar Sernadas, João Rasga & Lutz Schroeder - 2005 - Logic Journal of the IGPL 13 (6):738-738.
Qualitative Decision Theory Via Channel Theory.Gerard Allwein, Yingrui Yang & William L. Harrison - 2011 - Logic and Logical Philosophy 20 (1-2):81-110.
Logic and Computation: Essays in Honour of Amilcar Sernadas.Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.) - 2017 - College Publications.
Two Logical Hierarchies of Optimization Problems Over the Real Numbers.Uffe Flarup & Klaus Meer - 2006 - Mathematical Logic Quarterly 52 (1):37-50.
Optimization and Improvement. [REVIEW]Paul Weirich - 2010 - Philosophical Studies 148 (3):467 - 475.
The Student Edition of Micro-Logic Ii a Digital Circuit Simulation Program - Adapated for Education.Lee David Coraor - 1989
Solving Stochastic Programming Problems Using Modified Differential Evolution Algorithms.Radha Thangaraj, Millie Pant, Pascal Bouvry & Ajith Abraham - 2012 - Logic Journal of the IGPL 20 (4):732-746.
Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1).
Optimization of a Cooling Circuit in an Internal Combustion Engine for Marine Applications.G. Cantore, S. Fontanesi, V. Gagliardi & S. Malaguti - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 10-05.
Analytics
Added to PP index
2018-03-30
Total views
12 ( #809,638 of 2,507,655 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,655 )
2018-03-30
Total views
12 ( #809,638 of 2,507,655 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,655 )
How can I increase my downloads?
Downloads